Výsledky hledání pro autora

1

Obálka

Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings /

Vydáno 1998

“...International Conference on Automated Deduction Tallinn, Estonsko)...”

Kniha

2

Obálka

Automated deduction - CADE-20 : 20th international conference on automated deduction, Tallinn, Estonia, July 22-27, 2005, proceedings /

Vydáno 2005

“...International Conference on Automated Deduction Tallinn, Estonsko)...”

Kniha