Voronkov Andrei Editor

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings (Lecture Notes in Computer Science)

Voronkov, Andrei [Editor]

Language: English

Published by Springer, 2008

3540705880 / 9783540705888

Softcover

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

5-star seller

Contact seller

Condition: Used - Very good

£ 7.91

£ 5.19 shipping

Ships within U.S.A.

Quantity: 1 available

Paperback. Condition: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

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

Voronkov, Andrei [Editor]

Language: English

Published by Springer, 1993

3540569448 / 9783540569442

Softcover

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

5-star seller

Contact seller

Condition: Used - Very good

£ 30.57

£ 5.19 shipping

Ships within U.S.A.

Quantity: 1 available

Paperback. Condition: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings . / Lecture Notes in Artificial Intelligence)

Parigot, Michel [Editor]; Voronkov, Andrei [Editor];

Language: English

Published by Springer, 2000

3540412859 / 9783540412854

Softcover

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

5-star seller

Contact seller

Condition: Used - Very good

£ 32.91

£ 5.19 shipping

Ships within U.S.A.

Quantity: 1 available

Paperback. Condition: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, Psi 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers

Bjørner, Nikolaj (Editor)/ Virbitskaite, Irina (Editor)/ Voronkov, Andrei (Editor)

Language: English

Published by Springer-Verlag New York Inc, 2020

3030374866 / 9783030374860

Softcover

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

Contact seller

Condition: New

£ 65.58

£ 10.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. revised edition. 450 pages. 9.25x6.10x0.64 inches. In Stock.

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, Psi 2017, Moscow, Russia, June 26-29, 2017, Revised Selected Papers

Petrenko, Alexander K. (Editor)/ Voronkov, Andrei (Editor)

Language: English

Published by Springer-Verlag New York Inc, 2018

3319743120 / 9783319743127

Softcover

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

Contact seller

Condition: New

£ 67.73

£ 12.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. revised edition. 444 pages. 9.25x6.10x0.91 inches. In Stock.

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

Clarke, Edmund (Editor)/ Virbitskaite, Irina (Editor)/ Voronkov, Andrei (Editor)

Language: English

Published by Springer-Verlag New York Inc, 2012

3642297080 / 9783642297083

Softcover

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

Contact seller

Condition: New

£ 67.87

£ 12.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. 2012 edition. 410 pages. 9.00x6.00x1.00 inches. In Stock.

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

Diekert, Volker (Editor)/ Volkov, Mikhail (Editor)/ Voronkov, Andrei (Editor)

Language: English

Published by Springer-Verlag New York Inc, 2007

3540745092 / 9783540745099

Softcover

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

Contact seller

Condition: New

£ 67.95

£ 12.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. 1st edition. 420 pages. 9.20x6.50x1.00 inches. In Stock.

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

Bjørner, Nikolaj (Editor)/ Voronkov, Andrei (Editor)

Language: English

Published by Springer-Verlag New York Inc, 2012

3642287166 / 9783642287169

Softcover

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

Contact seller

Condition: New

£ 68.08

£ 12.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. 2012 edition. 457 pages. 9.25x6.10x1.02 inches. In Stock.

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

Voronkov, Andrei (Editor)

Language: English

Published by Springer-Verlag New York Inc, 2008

3540705880 / 9783540705888

Softcover

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

Contact seller

Condition: New

£ 68.52

£ 12.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. 1st edition. 457 pages. 9.00x6.00x1.00 inches. In Stock.

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

Dershowitz, Nachum (Editor)/ Voronkov, Andrei (Editor)

Language: English

Published by Springer-Verlag New York Inc, 2007

3540755586 / 9783540755586

Softcover

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

Contact seller

Condition: New

£ 70.27

£ 12.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. 1st edition. 562 pages. 9.50x6.50x0.75 inches. In Stock.

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, Lpar-16, Dakar, Senegal, April 25-may 1, 2010, Revised Selected Papers

Clarke, Edmund M. (Editor)

Language: English

Published by Springer-Verlag New York Inc, 2010

3642175104 / 9783642175107

Softcover

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

Contact seller

Condition: New

£ 71.05

£ 12.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 1 available

Paperback. Condition: Brand New. 516 pages. 9.50x6.25x1.00 inches. In Stock.

Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, Revised Selected Papers

Mazzara, Manuel (Editor)/ Voronkov, Andrei (Editor)

Language: English

Published by Springer-Verlag New York Inc, 2016

3319415786 / 9783319415789

Softcover

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

Contact seller

Condition: New

£ 66.50

£ 40.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. revised edition. 337 pages. 9.25x6.25x1.00 inches. In Stock.

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

Voronkov, Andrei (Editor)/ Virbitskaite, Irina (Editor)

Language: English

Published by Springer-Verlag New York Inc, 2015

3662468220 / 9783662468227

Softcover

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

Contact seller

Condition: New

£ 67.56

£ 40.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. revised edition. 432 pages. 9.25x6.10x0.98 inches. In Stock.

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

Davis, Martin (Editor)/ Fehnker, Ansgar (Editor)/ McIver, Annabelle (Editor)/ Voronkov, Andrei (Editor)

Language: English

Published by Springer-Verlag New York Inc, 2015

3662488981 / 9783662488980

Softcover

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

Contact seller

Condition: New

£ 70.47

£ 40.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. 656 pages. 9.25x6.10x1.48 inches. In Stock.

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

Baader, Franz (Editor)/ Voronkov, Andrei (Editor)

Language: English

Published by Springer Verlag, 2005

3540252363 / 9783540252368

Softcover

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

Contact seller

Condition: New

£ 123.55

£ 12.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 1 available

Paperback. Condition: Brand New. 1st edition. 562 pages. German language. 6.00x9.25x1.00 inches. In Stock.

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

Cervesato, Iliano (Editor)/ Veith, Helmut (Editor)/ Voronkov, Andrei (Editor)

Language: English

Published by Springer-Verlag New York Inc, 2008

3540894381 / 9783540894384

Softcover

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

Contact seller

Condition: New

£ 133.33

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. 2008 edition. 714 pages. 9.00x5.75x1.00 inches. In Stock.

Refine your search

Voronkov Andrei Editor (16 results)

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings (Lecture Notes in Computer Science)

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

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings . / Lecture Notes in Artificial Intelligence)

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, Psi 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, Psi 2017, Moscow, Russia, June 26-29, 2017, Revised Selected Papers

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

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

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

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

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

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, Lpar-16, Dakar, Senegal, April 25-may 1, 2010, Revised Selected Papers

Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, Revised Selected Papers

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

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

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

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