The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Andrei Voronkov Books

Results for Andrei Voronkov

Showing 13 to 19 of 19 results
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings: 9450 (Lecture Notes in Computer Science) Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings: 9450 (Lecture Notes in Computer Science) by Martin Davis,Ansgar Fehnker,Annabelle McIver,Andrei Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings: 9450 (Lecture Notes in Computer Science)

by Martin Davis,Ansgar Fehnker,Annabelle McIver,Andrei Voronkov


ISBN 13: 9783662488980

Format: Paperback (656 pages)
Publisher: Springer
Published: 30 Dec 2015

Save for later

 
New : $96.49  
New : $96.49
Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, ... 9609 (Lecture Notes in Computer Science) Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, ... 9609 (Lecture Notes in Computer Science) by Manuel Mazzara,Andrei Voronkov

Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, ... 9609 (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

 
New : $66.70  
New : $66.70
Handbook of Automated Reasoning: Volume II Handbook of Automated Reasoning: Volume II by Alan J.A. Robinson,Andrei Voronkov

Handbook of Automated Reasoning: Volume II

by Alan J.A. Robinson,Andrei Voronkov


ISBN 13: 9780444508126

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

Save for later

 
New : $199.89  
New : $199.89
Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings: 1705 (Lecture Notes in Computer Science) 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

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

 
New : $94.80  
New : $94.80
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) 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

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

 
New : $94.80  
New : $94.80
Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, ... (Lecture Notes in Computer Science, 8312) 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

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

 
New : $107.90  
New : $107.90
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) 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

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

 
New : $123.30  
New : $123.30