Logic Colloquium '01Logic Colloquium (2001 Vienna, Austria), Matthias Baaz, Jan Krajicek, Austria) Logic Colloquium (2001 Vienna · First published 2005Open the Tome
Logic for programming, artificial intelligence, and reasoningMatthias Baaz, Andrei Voronkov · First published 2002Open the Tome
