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]

Lingua: Inglese

Editore: Springer, 2008

3540705880 / 9783540705888

Brossura

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

Venditore con 5 stelle

Contatta il venditore

Condizione: Usato - Molto buono

EUR 9,55

EUR 6,27 spedizione

Spedito in U.S.A.

Quantità: 1 disponibile

Paperback. Condizione: 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]

Lingua: Inglese

Editore: Springer, 1993

3540569448 / 9783540569442

Brossura

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

Venditore con 5 stelle

Contatta il venditore

Condizione: Usato - Molto buono

EUR 36,88

EUR 6,27 spedizione

Spedito in U.S.A.

Quantità: 1 disponibile

Paperback. Condizione: 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];

Lingua: Inglese

Editore: Springer, 2000

3540412859 / 9783540412854

Brossura

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

Venditore con 5 stelle

Contatta il venditore

Condizione: Usato - Molto buono

EUR 39,69

EUR 6,27 spedizione

Spedito in U.S.A.

Quantità: 1 disponibile

Paperback. Condizione: 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)

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2020

3030374866 / 9783030374860

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 81,35

EUR 11,95 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: 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)

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2018

3319743120 / 9783319743127

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 84,03

EUR 14,93 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: 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)

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2012

3642297080 / 9783642297083

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 84,16

EUR 14,93 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: 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)

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2007

3540745092 / 9783540745099

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 84,27

EUR 14,93 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: 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)

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2012

3642287166 / 9783642287169

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 84,46

EUR 14,93 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: 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)

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2008

3540705880 / 9783540705888

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 85,00

EUR 14,93 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: 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)

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2007

3540755586 / 9783540755586

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 87,17

EUR 14,93 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: 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)

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2010

3642175104 / 9783642175107

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 87,61

EUR 14,93 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibile

Paperback. Condizione: 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)

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2016

3319415786 / 9783319415789

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 82,49

EUR 47,79 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: 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)

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2015

3662468220 / 9783662468227

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 83,79

EUR 47,79 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: 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)

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2015

3662488981 / 9783662488980

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 87,41

EUR 47,79 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: 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)

Lingua: Inglese

Editore: Springer Verlag, 2005

3540252363 / 9783540252368

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 153,49

EUR 14,93 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibile

Paperback. Condizione: 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)

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2008

3540894381 / 9783540894384

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 165,37

EUR 17,92 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

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

Perfeziona la tua ricerca

Voronkov andrei editor (16 risultati)

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