Buy Used and New Andrei Voronkov Books

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings: 2250 (Lecture Notes in Computer Science)

by Robert Nieuwenhuis, Andrei Voronkov

ISBN 13: 9783540429579

Format: Illustrated (758 pages)
Publisher: Springer
Published: 21 Nov 2001

Save for later

Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings: 3835 (Lecture Notes in Computer Science)

by Geoff Sutcliffe,Andrei Voronkov

ISBN 13: 9783540305538

Format: Paperback (760 pages)
Publisher: Springer
Published: 24 Nov 2005

Save for later

Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings: 2392 (Lecture Notes in Computer Science)

by Andrei Voronkov

ISBN 13: 9783540439318

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

Save for later

Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, ... 7162 (Lecture Notes in Computer Science)

by Edmund Clarke,Irina Virbitskaite,Andrei Voronkov

ISBN 13: 9783642297083

Format: Paperback (428 pages)
Publisher: Springer
Published: 30 May 2012

Save for later

Programming Logics: Essays in Memory of Harald Ganzinger (Lecture Notes in Computer Science)

by Andrei Voronkov,Christoph Weidenbach

ISBN 13: 9783642376504

Format: Paperback (460 pages)
Publisher: Springer
Published: 03 Apr 2013

Save for later

Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised ... 8974 (Lecture Notes in Computer Science)

by Andrei Voronkov,Irina Virbitskaite

ISBN 13: 9783662468227

Format: Paperback (432 pages)
Publisher: Springer
Published: 30 Apr 2015

Save for later

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

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

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

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised ... 10742 (Lecture Notes in Computer Science)

by Alexander K. Petrenko, Andrei Voronkov

ISBN 13: 9783319743127

Format: Paperback (444 pages)
Publisher: Springer
Published: 18 Jan 2018

Save for later

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings: 698 (Lecture Notes in Computer Science)

by Andrei Voronkov

ISBN 13: 9783540569442

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

Save for later

Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings: 624 (Lecture Notes in Computer Science)

by Andrei Voronkov

ISBN 13: 9783540557272

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

Save for later