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

Over $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, 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

$101.07

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

$101.07

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

$101.07

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

$101.07

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

$101.07

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

$101.07

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

Perspectives of System Informatics

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

Nikolaj BjÃ¸rner, Irina Virbitskaite and Andrei Voronkov

Paperback

$101.07

7 Results