Results for Andrei Voronkov

ISBN.nu

search for books and compare prices

Andrei Voronkov has written 27 work(s)

Search for other authors with the same name

at beginning | displaying 1 to 25 | next 2 >

show results in order: alphabetically | oldest to newest | newest to oldest

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, Lpar-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

By Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783662488980 | Springer-Verlag New York Inc, December 3, 2015, cover price $119.00

Perspectives of Systems Informatics: 9th International Ershov Informatics Conference, Psi 2014, Selected Papers

By Irina Virbitskaite (editor) and Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783662468227 | Revised edition (Springer-Verlag New York Inc, April 30, 2015), cover price $95.00

Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, Lpar-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

By Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783642452208 | Springer-Verlag New York Inc, December 2, 2013, cover price $143.00

Perspectives of Systems Informatics: 8th International Ershov Informational Conference, PSI 2011 Novosibirsk, Russia, June 27 - July 1, 2011 Revised Selected Papers

By Edmund Clarke (editor), Irina Virbitskaite (editor) and Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783642297083 | Springer-Verlag New York Inc, May 30, 2012, cover price $99.00

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, Lpar-18, Merida, Venezuela, March 11-15, 2012, Proceedings

By Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783642287169 | Springer-Verlag New York Inc, March 21, 2012, cover price $99.00

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, Lpar 2008, Doha, Qatar, November 22-27, 2008, Proceedings

By Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540894384 | Springer-Verlag New York Inc, December 1, 2008, cover price $169.00

Rewriting Techniques and Applications: 19th International Conference, Rta 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings

By Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540705888 | Springer-Verlag New York Inc, September 3, 2008, cover price $129.00

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, Lpar 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Product Description: This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 submissions...read more

By Nachum Dershowitz (editor) and Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540755586 | Springer-Verlag New York Inc, December 7, 2007, cover price $139.00 | About this edition: This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia.

Computer Science: Theory and Applications: Second International Symposium on Computer Science in Russia, Csr 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceeding

By Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540745099 | Springer-Verlag New York Inc, September 14, 2007, cover price $129.00

Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, Psi 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers

Product Description: This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Andrei Ershov Memorial Conference, PSI 2006, held in Akademgorodok, Novosibirsk, Russia in June 2006. The 30 revised full papers and 10 revised short papers presented together with 5 invited papers address all current aspects of theoretical computer science, programming methodology, and new information technologies...read more

By Irina Virbitskaite (editor) and Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540708803 | Springer-Verlag New York Inc, March 22, 2007, cover price $139.00 | About this edition: This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Andrei Ershov Memorial Conference, PSI 2006, held in Akademgorodok, Novosibirsk, Russia in June 2006.

Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings

By Miki Hermann (editor) and Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540482819 | Springer-Verlag New York Inc, January 3, 2007, cover price $159.00

Logic for Programming, Artificial Intelligence, And Reasoning: 12th International Conference, Lpar 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

By Geoff Sutcliffe (editor) and Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540305538 | Springer-Verlag New York Inc, February 15, 2006, cover price $179.00

Logic for Programming, Artificial Intelligence, And Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

By Franz Baader (editor) and Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540252368 | Springer-Verlag New York Inc, May 1, 2005, cover price $149.00

Logic for Programming Artificial Intelligence and Reasoning: 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003 : Proceedings

Product Description: ThisvolumecontainsthepaperspresentedattheTenthInternationalConference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR 2003), heldonSeptember22-26,2003,inAlmaty,Kazakhstan,togetherwiththeFourth International Workshop on Implementation of Logics...read more

By Lpar 2003 Alma-Ata ) (other contributor), Moshe Y. Vardi and Andrei Voronkov

See complete details on each edition (1 edition listed)

Paperback:

9783540201014 | Springer Verlag, September 1, 2003, cover price $129.00 | About this edition: ThisvolumecontainsthepaperspresentedattheTenthInternationalConference on Logic for Programming, Arti?

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, Lpar 2002, Tbilisi, Georgia, October 14-18, 2002 : Proceedings

By Matthias Baaz (editor), Lpar 200 (other contributor) and Andrei Voronkov

See complete details on each edition (1 edition listed)

Paperback:

9783540000105 | Springer-Verlag New York Inc, March 1, 2003, cover price $129.00

Automated Deduction-Cade-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : Proceedings

(view table of contents)

By Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540439318 | Springer Verlag, August 1, 2002, cover price $139.00

Logic for Programming Artificial Intelligence, and Reasoning: Proceedings of the 8th International Conference, Lpar 2001, Havana, Cuba, December 3-7, 2001

By Robert Nieuwenhuis (editor) and Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540429579 | Springer Verlag, January 1, 2002, cover price $169.00

Handbook of Automated Reasoning

(view table of contents)

By J. A. Robinson (editor) and Andrei Voronkov (editor)

See complete details on each edition (4 editions listed)

Hardcover:

9780262182218 | Mit Pr, September 1, 2001, cover price $135.00

9780262182232 | Mit Pr, September 1, 2001, cover price $55.75

9780444508133 | Reprint edition (North-Holland, June 22, 2001), cover price $540.00

9780444508126 | North-Holland, June 21, 2001, cover price $320.00

Handbook of Automated Reasoning

(view table of contents)

By Alan Robinson, J. A. Robinson (editor) and Andrei Voronkov

See complete details on each edition (1 edition listed)

Hardcover:

9780444829498 | North-Holland, June 1, 2001, cover price $275.00

Logic for Programming and Automated Reasoning: 7th Conference Lpar 2000 Reunion Island, France, November 6-10, 2000, Proceedings

(view table of contents)

By Michel Parigot (editor) and Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540412854 | Springer Verlag, November 1, 2000, cover price $129.00

Logic Programming and Automated Reasoning: International Conference Lpar '92, St.petersburg, Russia, July 15-20, 1992. Proceedings

By Andrei Voronkov

See complete details on each edition (1 edition listed)

Paperback:

9783540557272 | Springer Verlag, November 1, 1999, cover price $139.00

Logic Programming and Automated Reasoning: 4th International Conference, Lpar'93, St.petersburg, Russia, July 13-20, 1993. Proceedings

By Andrei Voronkov

See complete details on each edition (1 edition listed)

Paperback:

9783540569442 | Springer Verlag, November 1, 1999, cover price $109.00

Logic Programming and Automated Reasoning: 6th International Conference, Lpar'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

Product Description: This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the University of Tbilisi. Forty-four papers were submitted to LPAR'99...read more

By J. G. Carbonell (editor), Lpar 1999 (other contributor), David McAllester (editor), J. Siekmann (editor) and Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540664925 | Springer Verlag, November 1, 1999, cover price $119.00 | About this edition: This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the University of Tbilisi.

Transactions and Change in Logic Databases

(view table of contents)

By Hendrik Decker (editor), Burkhard Freitag (editor), Michael Kifer (editor) and Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540653059 | Springer Verlag, December 1, 1998, cover price $119.00

Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93 St. Petersburg, Russia, July 13-20, 1993 Proceedings

By Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Paperback:

9780387569444 | Springer Verlag, August 1, 1993, cover price $74.95

at beginning | displaying 1 to 25 | next 2 >