Results for Andrei Voronkov

isbn.nu

search for books and compare prices

ISBN

Title

Author

Advanced

About

Who We Are

What's an ISBN?

Andrei Voronkov has written 24 work(s)

Search for other authors with the same name

displaying 1 to 24 | at end

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

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

By Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783642297083 | Springer-Verlag New York Inc, May 4, 2012, cover price $89.95

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)

Edition summary (click for prices and details):

Paperback:

9783642287169 | Springer-Verlag New York Inc, March 1, 2012, cover price $95.00

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

Product Description: This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. The 45 revised full papers presented together with 3 invited talks were carefully revised and selected from 153 submissions...read more

By Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540894384 | Springer-Verlag New York Inc, December 1, 2008, cover price $129.00 | About this edition: This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008.

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

Product Description: This book constitutes the refereed proceedings of the 19th International Conference on Rewriting Techniques and Applications, RTA 2008, held in Hagenberg, Austria, July 15-17, in June 2008 as part of the RISC Summer 2008. The 30 revised full papers presented were carefully reviewed and selected from 57 initial submissions...read more

By Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540705888 | Springer-Verlag New York Inc, September 3, 2008, cover price $99.00 | About this edition: This book constitutes the refereed proceedings of the 19th International Conference on Rewriting Techniques and Applications, RTA 2008, held in Hagenberg, Austria, July 15-17, in June 2008 as part of the RISC Summer 2008.

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, October 15-19, 2007. The 36 revised full papers presented together with 15 short papers and 3 invited talks were carefully reviewed and selected from 78 submissions...read more

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

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540755586 | Springer-Verlag New York Inc, December 7, 2007, cover price $109.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, October 15-19, 2007.

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

Product Description: This book constitutes the refereed proceedings of the Second International Symposium on Computer Science in Russia, CSR 2007, held in Ekaterinburg, Russia, September 3-7, 2007 The 35 revised papers presented were carefully reviewed and selected from 95 submissions...read more

By Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540745099 | Springer-Verlag New York Inc, September 14, 2007, cover price $99.00 | About this edition: This book constitutes the refereed proceedings of the Second International Symposium on Computer Science in Russia, CSR 2007, held in Ekaterinburg, Russia, September 3-7, 2007 The 35 revised papers presented were carefully reviewed and selected from 95 submissions.

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)

Edition summary (click for prices and details):

Paperback:

9783540708803 | Springer-Verlag New York Inc, March 22, 2007, cover price $89.95 | 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

Product Description: This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2006, held in Phnom Penh, Cambodia in November 2006. The 38 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 96 submissions...read more

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

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540482819 | Springer-Verlag New York Inc, January 3, 2007, cover price $115.00 | About this edition: This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2006, held in Phnom Penh, Cambodia in November 2006.

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

Product Description: This book constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005, held in Montego Bay, Jamaica in December 2005. The 46 revised full papers presented together with abstracts of 3 invited talks were carefully reviewed and selected from 108 full paper submissions...read more

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

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540305538 | Springer-Verlag New York Inc, February 15, 2006, cover price $117.00 | About this edition: This book constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005, held in Montego Bay, Jamaica in December 2005.

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

Product Description: This book constitutes the refereed proceedings of the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2004, held in Montevideo, Uruguay in March 2005. The 33 revised full papers presented together with abstracts of 4 invited papers were carefully reviewed and selected from 77 submissions...read more

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

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540252368 | Springer-Verlag New York Inc, May 1, 2005, cover price $129.00 | About this edition: This book constitutes the refereed proceedings of the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2004, held in Montevideo, Uruguay in March 2005.

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

Product Description: This book constitutes the refereed proceedings of the 10th International Conference on Logic Programming, Artificial Intelligence, and Reasoning, LPAR 2003, held in Almaty, Kazakhstan in September 2003. The 27 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 65 submissions...read more

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

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540201014 | Springer Verlag, September 1, 2003, cover price $79.95 | About this edition: This book constitutes the refereed proceedings of the 10th International Conference on Logic Programming, Artificial Intelligence, and Reasoning, LPAR 2003, held in Almaty, Kazakhstan in September 2003.

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

Product Description: This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002. The 30 revised full papers presented were carefully reviewed and selected from 68 submissions...read more

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

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540000105 | Springer-Verlag New York Inc, March 1, 2003, cover price $82.95 | About this edition: This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002.

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

Product Description: This book constitutes the refereed proceedings of the 18th International Conference on Automated Deduction, CADE - 18, held in Copenhagen, Denmark, in July 2002. The 27 revised full papers and 10 system descriptions presented together with three invited contributions were carefully reviewed and selected from 70 submissions...read more (view table of contents, read Amazon.com's description)

By Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540439318 | Springer Verlag, August 1, 2002, cover price $91.00 | About this edition: This book constitutes the refereed proceedings of the 18th International Conference on Automated Deduction, CADE - 18, held in Copenhagen, Denmark, in July 2002.

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

Product Description: This book constitutes the refereed proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2001, held in Havana, Cuba, in December 2001.The 40 revised full papers presented together with an invited paper were carefully reviewed and selected from 112 submissions...read more

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

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540429579 | Springer Verlag, January 1, 2002, cover price $115.00 | About this edition: This book constitutes the refereed proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2001, held in Havana, Cuba, in December 2001.

Handbook of Automated Reasoning

Product Description: Automated reasoning has matured into one of the most advanced areas of computer science. It is used in many areas of the field, including software and hardware verification, logic and functional programming, formal methods, knowledge representation, deductive databases, and artificial intelligence...read more (view table of contents, read Amazon.com's description)

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

See complete details on each edition (4 editions listed)

Edition summary (click for prices and details):

Hardcover:

9780262182218 | Mit Pr, September 1, 2001, cover price $135.00 | About this edition: Automated reasoning has matured into one of the most advanced areas of computer science.

9780262182232 | Mit Pr, September 1, 2001, cover price $270.00 | About this edition: Automated reasoning has matured into one of the most advanced areas of computer science.

9780444508133 | Reprint edition (North-Holland, June 22, 2001), cover price $480.00 | About this edition: A comprehensive resource on automated reasoning and its applications.

9780444508126 | North-Holland, June 21, 2001, cover price $275.00 | About this edition: This second volume of "Handbook of Automated Reasoning" covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

Handbook of Automated Reasoning

Product Description: This first volume of the "Handbook of Automated Reasoning" includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods. (view table of contents, read Amazon.com's description)

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

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Hardcover:

9780444829498 | North-Holland, June 1, 2001, cover price $240.00 | About this edition: This first volume of the "Handbook of Automated Reasoning" includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.

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

Product Description: This book constitutes the refereed proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning, LPAR 2000, held in Reunion Island, France in November 2000. The 26 revised full papers presented together with four invited contributions were carefully reviewed and selected from 65 submissions...read more (view table of contents, read Amazon.com's description)

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

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540412854 | Springer Verlag, November 1, 2000, cover price $87.95 | About this edition: This book constitutes the refereed proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning, LPAR 2000, held in Reunion Island, France in November 2000.

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

Product Description: This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bring together researchers from the Russian and the international logic programming and theorem proving communities...read more

By Andrei Voronkov

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540557272 | Springer Verlag, November 1, 1999, cover price $98.00 | About this edition: This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St.

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

Product Description: LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early 1970s...read more

By Andrei Voronkov

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540569442 | Springer Verlag, November 1, 1999, cover price $74.95 | About this edition: LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning.

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

Product Description: This book constitutes the refereed proceedings of the 6th International Conference on Logic Programming and Automated Reasoning, LPAR'99, held in Tbilisi, Georgia in September 1999. The 23 revised full papers presented were carefully reviewed and selected from 44 submissions...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)

Edition summary (click for prices and details):

Paperback:

9783540664925 | Springer Verlag, November 1, 1999, cover price $79.95 | About this edition: This book constitutes the refereed proceedings of the 6th International Conference on Logic Programming and Automated Reasoning, LPAR'99, held in Tbilisi, Georgia in September 1999.

Transactions and Change in Logic Databases

Product Description: This book constitutes the thoroughly refereed and revised post-workshop proceedings of two international meetings devoted to deductive databases and logic programming. The technical papers presenting original research results were carefully reviewed and selected for inclusion in the present book, together with several survey articles summarizing the state of the art in the area...read more (view table of contents, read Amazon.com's description)

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

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540653059 | Springer Verlag, December 1, 1998, cover price $82.95 | About this edition: This book constitutes the thoroughly refereed and revised post-workshop proceedings of two international meetings devoted to deductive databases and logic programming.

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)

Edition summary (click for prices and details):

Paperback:

9780387569444 | Springer Verlag, August 1, 1993, cover price $74.95 | About this edition: LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning.

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

By Lpar (other contributor) and Andrei Voronkov (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9780387557274 | Springer Verlag, July 1, 1992, cover price $98.00 | About this edition: This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St.

Logic Programming: First and Second Russian Conferences on Logic Programming, Irkutsk, Russia, September 14-18, 1990, St.petersburg, Russia, September 11-16, 1991. Proce

Product Description: This volume contains the proceedings of two Russian conferences on logic programming, held in 1990 in Irkutsk and in 1991 in St. Petersburg. The aim of the conferences was to bring together researchers from the Russian and the international logic programming communities...read more

By Andrei Voronkov

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540554608 | Springer Verlag, January 1, 1986, cover price $79.95 | About this edition: This volume contains the proceedings of two Russian conferences on logic programming, held in 1990 in Irkutsk and in 1991 in St.

displaying 1 to 24 | at end