Andrei Voronkov | Akateeminen Kirjakauppa

Perspectives of System Informatics - 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veit

Mazzara, Manuel; Voronkov, Andrei
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €

Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, Novembe

Davis, Martin; Fehnker, Ansgar; McIver, Annabelle; Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2015
Pehmeäkantinen kirja

51,10 €

Handbook of Automated Reasoning

J. Alan Robinson; Andrei Voronkov
MIT Press
2015
Kovakantinen kirja

57,40 €

Handbook of Automated Reasoning

J. Alan Robinson; Andrei Voronkov
MIT Press
2015
Kovakantinen kirja

12,10 €

Handbook of Automated Reasoning

J. Alan Robinson; Andrei Voronkov
MIT Press
2017
Kovakantinen kirja

37,30 €

Perspectives of Systems Informatics - 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 2

Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

51,10 €

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

Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1993
Pehmeäkantinen kirja

51,10 €

Logic Programming - First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Confer

Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1992
Pehmeäkantinen kirja

51,10 €

Logic Programming and Automated Reasoning - International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedi

Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1992
Pehmeäkantinen kirja

51,10 €

Automated Deduction - CADE-18 - 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proc

Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2002
Pehmeäkantinen kirja

51,10 €

Rewriting Techniques and Applications - 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceeding

Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

51,10 €

Programming Logics - Essays in Memory of Harald Ganzinger

Voronkov, Andrei; Weidenbach, Christoph
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

51,10 €

Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-

Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2015
Pehmeäkantinen kirja

51,10 €

Programming Logics

Voronkov, Andrei; Weidenbach, Christoph
Springer
2013
Pehmeäkantinen kirja

117,90 €

Handbook of Automated Reasoning

Robinson, Alan J.A.; Voronkov, Andrei
Elsevier Science & Technology
2001
Kovakantinen kirja

240,70 €

Computer Science - Theory and Applications - Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinbur

Diekert, Volker; Volkov, Mikhail; Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

51,10 €

Logic for Programming, Artificial Intelligence, and Reasoning - 10th International Conference, LPAR 2003, Almaty, Kazakhstan, Se

Vardi, Moshe; Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2003
Pehmeäkantinen kirja

51,10 €

Logic for Programming, Artificial Intelligence, and Reasoning - 8th International Conference, LPAR 2001, Havana, Cuba, December

Nieuwenhuis, Robert; Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2001
Pehmeäkantinen kirja

100,90 €

Logic for Programming, Artificial Intelligence, and Reasoning - 14th International Conference, LPAR 2007, Yerevan, Armenia, Octo

Dershowitz, Nachum; Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

51,10 €

Logic Programming and Automated Reasoning - 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proce

Ganzinger, Harald; McAllester, David; Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1999
Pehmeäkantinen kirja

51,10 €