Buy Used and New Andrei Voronkov Books

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings: 1705 (Lecture Notes in Computer Science)

by Harald Ganzinger,Andrei Voronkov,David McAllester

ISBN 13: 9783540664925

Format: Paperback (416 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September ... 1472 (Lecture Notes in Computer Science)

by Burkhard Freitag,Hendrik Decker,Michael Kifer,Andrei Voronkov

ISBN 13: 9783540653059

Format: Paperback (414 pages)
Publisher: Springer Berlin Heidelberg
Published: 02 Jun 2010

Save for later

Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic ... 592 (Lecture Notes in Computer Science)

by Andrei Voronkov

ISBN 13: 9783540554608

Format: Paperback (532 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings: 2514 (Lecture Notes in Computer Science)

by Matthias Baaz, Andrei Voronkov

ISBN 13: 9783540000105

Format: Paperback (484 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, ... 2850 (Lecture Notes in Computer Science)

by Moshe Vardi, Andrei Voronkov

ISBN 13: 9783540201014

Format: Paperback (452 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, ... (Lecture Notes in Computer Science, 8312)

by Ken McMillan,Aart Middeldorp,Andrei Voronkov

ISBN 13: 9783642452208

Format: Paperback (808 pages)
Publisher: Springer
Published: 02 Dec 2013

Save for later

Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers: 4378 (Lecture Notes in Computer Science)

by Irina Virbitskaite, Andrei Voronkov

ISBN 13: 9783540708803

Format: Paperback (516 pages)
Publisher: Springer Berlin Heidelberg
Published: 02 Jun 2010

Save for later

Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, ... 4246 (Lecture Notes in Computer Science)

by Miki Hermann,Andrei Voronkov

ISBN 13: 9783540482819

Format: Illustrated (612 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later