Výsledky hledání pro autora

1

Obálka

Proofs and algorithms : an introduction to logic and computability /

Autor Dowek, Gilles, 1966-
Vydáno 2011

Kniha

2

Obálka

Automated reasoning : 4th International Joint Conference, IJCAR 2008 : Sydney, Australia, August 12-15, 2008 : proceedings /

Vydáno 2008

Další autoři: '; “...Dowek, Gilles, 1966-...”

Kniha