Free shipping on all orders over $79* Limited Time Only

My Wish Lists Login / Join

Results for author 'Andrei Voronkov'

Refine Your Results

subjects

Computing & I.T.

7

Engineering & Technology

1

Mathematics

4

Science

4

lists

All Books

7

availability

All Books

7

price

$50 - $100

7

formats

Paperbacks

7

Language

Sort By:

Booktopia Recommends

Bestsellers

Price Low to High

Price High to Low

Most Recently Published

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

Logic for Programming and Automated Reasoning

7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Michel Parigot and Andrei Voronkov

Paperback

$84.99

Logic Programming and Automated Reasoning : 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings - Andrei Voronkov

Logic Programming and Automated Reasoning

4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

Andrei Voronkov

Paperback

$84.99

Perspectives of Systems Informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers - Irina Virbitskaite

Perspectives of Systems Informatics

6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers

Irina Virbitskaite and Andrei Voronkov

Paperback

$84.99

Computer Science - Theory and Applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings - Mikhail Volkov

Computer Science - Theory and Applications

Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings

Mikhail Volkov, Volker Diekert and Andrei Voronkov

Paperback

$84.99

Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings - Ken McMillan

Logic for Programming, Artificial Intelligence, and Reasoning

19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

Ken McMillan, Aart Middeldorp and Andrei Voronkov

Paperback

$84.99

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

Perspectives of System Informatics

12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers

Andrei Voronkov, Nikolaj Bjørner and Irina Virbitskaite

Paperback

$84.99

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

Perspectives of Systems Informatics

8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers

Edmund Clarke, Irina Virbitskaite and Andrei Voronkov

Paperback

$84.99

7 Results