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 ... / Lecture Notes in Artificial Intelligence)

by Robert Nieuwenhuis, Andrei Voronkov

ISBN 13: 9783540429579

Format: Paperback (740 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, ... / Lecture Notes in Artificial Intelligence)

by Geoff Sutcliffe, Andrei Voronkov

ISBN 13: 9783540305538

Format: Paperback (744 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 (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by Andrei Voronkov

ISBN 13: 9783540439318

Format: Paperback (534 pages)
Publisher: Springer
Published: 17 Jul 2002

Save for later

Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, ... Applications, incl. Internet/Web, and HCI)

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 / Theoretical Computer Science and General Issues)

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 Selected Papers (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 (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 (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

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

by Alexander K. Petrenko, Andrei Voronkov

ISBN 13: 9783319743127

Format: Paperback (423 pages)
Publisher: Springer
Published: 17 Feb 2018

Save for later

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

by Andrei Voronkov

ISBN 13: 9783540569442

Format: Paperback (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 (Lecture Notes in Computer Science)

by Andrei Voronkov

ISBN 13: 9783540557272

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

Save for later