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 >
Jump to start at |
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9783662488980 Cover for 9783662468227 Cover for 9783642452208 Cover for 9783642297083 Cover for 9783642287169 Cover for 9783540894384 Cover for 9783540705888 Cover for 9783540755586 Cover for 9783540745099 Cover for 9783540708803 Cover for 9783540482819 Cover for 9783540305538 Cover for 9783540252368 Cover for 9783540201014 Cover for 9783540000105 Cover for 9783540439318 Cover for 9783540429579 Cover for 9780262182218 Cover for 9780262182232 Cover for 9780444508126 Cover for 9780444508133 Cover for 9780444829498 Cover for 9783540557272 Cover for 9783540569442 Cover for 9783540664925 Cover for 9783540653059 Cover for 9780387569444
cover image for 9783662488980
Product Description: This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji. The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions...read more
By Andrei Voronkov (editor)

Paperback:

9783662488980 | Springer-Verlag New York Inc, December 3, 2015, cover price $119.00 | About this edition: This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji.

cover image for 9783662468227
Product Description: This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014. The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions...read more
By Irina Virbitskaite (editor) and Andrei Voronkov (editor)

Paperback:

9783662468227 | Revised edition (Springer-Verlag New York Inc, April 30, 2015), cover price $95.00 | About this edition: This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St.

cover image for 9783642452208
Product Description: This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume were carefully reviewed and selected from 152 submissions...read more
By Andrei Voronkov (editor)

Paperback:

9783642452208 | Springer-Verlag New York Inc, December 2, 2013, cover price $143.00 | About this edition: This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa.

cover image for 9783642297083
Product Description: This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011...read more
By Edmund Clarke (editor), Irina Virbitskaite (editor) and Andrei Voronkov (editor)

Paperback:

9783642297083 | Springer-Verlag New York Inc, May 30, 2012, cover price $99.00 | About this edition: This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011.

cover image for 9783642287169
Product Description: This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74 submissions...read more
By Andrei Voronkov (editor)

Paperback:

9783642287169 | Springer-Verlag New York Inc, March 21, 2012, cover price $99.00 | About this edition: This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012.

cover image for 9783540894384
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)

Paperback:

9783540894384 | Springer-Verlag New York Inc, December 1, 2008, cover price $169.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.

cover image for 9783540705888
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)

Paperback:

9783540705888 | Springer-Verlag New York Inc, September 3, 2008, cover price $129.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.

cover image for 9783540755586
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)

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.

cover image for 9783540745099
Product Description: This book features the refereed proceedings of the 2nd International Symposium on Computer Science in Russia held in September 2007. The 35 papers cover theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal languages, automata and their applications to computer science; computational models and concepts; proof theory; and applications of logic to computer science...read more
By Andrei Voronkov (editor)

Paperback:

9783540745099 | Springer-Verlag New York Inc, September 14, 2007, cover price $129.00 | About this edition: This book features the refereed proceedings of the 2nd International Symposium on Computer Science in Russia held in September 2007.

cover image for 9783540708803
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)

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.

cover image for 9783540482819
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 one invited talk were carefully reviewed and selected from 96 submissions...read more
By Miki Hermann (editor) and Andrei Voronkov (editor)

Paperback:

9783540482819 | Springer-Verlag New York Inc, January 3, 2007, cover price $159.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.

cover image for 9783540305538
Product Description: This volume containsthe full papers presentedat the 12th InternationalConf- ence on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR), held 2-6 December 2006,in MontegoBay,Jamaica.The callfor papersattracted 108 full paper submissions, each of which were reviewed by at least three - viewers...read more
By Geoff Sutcliffe (editor) and Andrei Voronkov (editor)

Paperback:

9783540305538 | Springer-Verlag New York Inc, February 15, 2006, cover price $179.00 | About this edition: This volume containsthe full papers presentedat the 12th InternationalConf- ence on Logic for Programming, Arti?

cover image for 9783540252368
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)

Paperback:

9783540252368 | Springer-Verlag New York Inc, May 1, 2005, cover price $149.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.

cover image for 9783540201014
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

Paperback:

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

cover image for 9783540000105
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

Paperback:

9783540000105 | Springer-Verlag New York Inc, March 1, 2003, cover price $129.00 | 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.

cover image for 9783540439318
Product Description: The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27–30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002)...read more (view table of contents, read Amazon.com's description)
By Andrei Voronkov (editor)

Paperback:

9783540439318 | Springer Verlag, August 1, 2002, cover price $139.00 | About this edition: The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27–30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002).

cover image for 9783540429579
Product Description: This volume contains the papers presented at the Eighth International C- ference on Logic for Programming, Arti?cial Intelligence and Reasoning (LPAR 2001), held on December 3-7, 2001, at the University of Havana (Cuba), together with the Second International Workshop on Implementation of Logics...read more
By Robert Nieuwenhuis (editor) and Andrei Voronkov (editor)

Paperback:

9783540429579 | Springer Verlag, January 1, 2002, cover price $169.00 | About this edition: This volume contains the papers presented at the Eighth International C- ference on Logic for Programming, Arti?

cover image for 9780262182232
Product Description: Automated reasoning has matured into one of the most advanced areas ofcomputer science. It is used in many areas of the field, including software andhardware verification, logic and functional programming, formal methods, knowledgerepresentation, 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)

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 $55.75 | About this edition: Automated reasoning has matured into one of the most advanced areas ofcomputer science.
9780444508133 | Reprint edition (North-Holland, June 22, 2001), cover price $540.00 | About this edition: A comprehensive resource on automated reasoning and its applications.
9780444508126 | North-Holland, June 21, 2001, cover price $320.00

cover image for 9783540557272
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

Paperback:

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

cover image for 9783540569442
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

Paperback:

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

cover image for 9783540664925
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)

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.

cover image for 9783540653059
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)

Paperback:

9783540653059 | Springer Verlag, December 1, 1998, cover price $119.00 | 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.

cover image for 9780387569444
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 (editor)

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.

at beginning | displaying 1 to 25 | next 2 >