Andrei Voronkov | Booky.fi

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

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

51,10 €

Handbook of Automated Reasoning

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

57,30 €

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,20 €

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
2013
Pehmeäkantinen kirja

51,10 €

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

Voronkov, Andrei
Springer
2015
Pehmeäkantinen kirja

51,10 €

Programming Logics

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

115,20 €

Handbook of Automated Reasoning

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

234,80 €

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,

Ganzinger, Harald; McAllester, David; Voronkov, Andrei
Springer
1999
Pehmeäkantinen kirja

51,10 €

Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Workshop, LPAR 2004, Montevideo,

Baader, Franz; Voronkov, Andrei
Springer
2005
Pehmeäkantinen kirja

100,90 €