Buy Used and New Andrei Voronkov Books

Perspectives of System Informatics (Lecture Notes in Computer Science)

by Manuel Mazzara, Andrei Voronkov

ISBN 13: 9783319415789

Format: Paperback (352 pages)
Publisher: Springer
Published: 28 Jun 2016

Save for later

Handbook of Automated Reasoning: Vol 2

by Alan J.A. Robinson, Andrei Voronkov

ISBN 13: 9780444508126

Format: Hardcover (1188 pages)
Publisher: North Holland
Published: 21 Jun 2001

Save for later

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (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 ... Jefferso (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 for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, Lpar-19, Stellenbosch, South Africa, December 14-19, 201 (Lecture Notes in Computer Science)

by Ken McMillan, Aart Middeldorp, Andrei Voronkov

ISBN 13: 9783642452208

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

Save for later

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

by Miki Hermann, Andrei Voronkov

ISBN 13: 9783540482819

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

Save for later