Výsledky hledání pro autora

Obálka

Proof complexity and feasible arithmetics : DIMACS, Workshop, April 21-24, 1996 /

Vydáno: 1998

Další autoři: „... Buss, Samuel R., 1957- ...“

Kniha

Obálka

Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998 /

Vydáno: 2000

Další autoři: „... Buss, Samuel R., 1957- ...“

Kniha