Voronkov, Andrei.

Overview

Works:	1 works in 7 publications in 1 languages

Titles

Logic for programming, artificial intelligence, and reasoning = 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings / by: Voronkov, Andrei.; SpringerLink (Online service); Baaz, Matthias.; LPAR 2002 ((2002 :) (Language materials, printed)

Logic for programming, artificial intelligence, and reasoning = 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings / by: Bjorner, Nikolaj.; Voronkov, Andrei.; SpringerLink (Online service) (Electronic resources)

Perspectives of systems informatics = 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers / by: Pnueli, Amir.; Virbitskaite, Irina.; Voronkov, Andrei.; SpringerLink (Online service); International Andrei Ershov Memorial Conference (2009 :) (Language materials, printed)

Logic for Programming, Artificial Intelligence, and Reasoning = 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings / by: Voronkov, Andrei.; SpringerLink (Online service); Baader, Franz.; LPAR 2004 ((2005 :) (Language materials, printed)

Logic for programming, artificial intelligence, and reasoning = 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings / by: Fermuller, Christian G.; Voronkov, Andrei.; SpringerLink (Online service) (Language materials, printed)

Logic for Programming, Artificial Intelligence, and Reasoning : = 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings by: Sutcliffe, Geoff.; Voronkov, Andrei.; SpringerLink (Online service); LPAR 2005 ((2005 :) (Language materials, printed)

Rewriting Techniques and Applications = 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings / by: Voronkov, Andrei.; SpringerLink (Online service); International Conference on Rewriting Techniques and Applications (2008 :) (Language materials, printed)

Perspectives of systems informatics = 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers / by: Clarke, Edmund.; Virbitskaite, Irina.; Voronkov, Andrei.; SpringerLink (Online service) (Electronic resources)

Perspectives of system informatics = 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017 : revised selected papers / by: International Andrei Ershov Memorial Conference (2017 :); Petrenko, Alexander K.; Voronkov, Andrei.; SpringerLink (Online service) (Electronic resources)

Subjects