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 9783540412854 Cover for 9783540557272 Cover for 9783540569442 Cover for 9783540664925 Cover for 9783540653059 Cover for 9780387569444
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 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 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 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 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 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?

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

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

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.

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

at beginning | displaying 1 to 25 | next 2 >