Voronkov, Andrei.

概要

作品:	1 作品在 7 項出版品 1 種語言

書目資訊

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 :) (書目-語言資料,印刷品)

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

Perspectives of systems informatics = 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers / by: Voronkov, Andrei.; SpringerLink (Online service); Pnueli, Amir.; Virbitskaite, Irina.; International Andrei Ershov Memorial Conference (2009 :) (書目-語言資料,印刷品)

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 :) (書目-語言資料,印刷品)

Logic for programming, artificial intelligence, and reasoning = 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings / by: Voronkov, Andrei.; SpringerLink (Online service); Fermuller, Christian G. (書目-語言資料,印刷品)

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 :) (書目-語言資料,印刷品)

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 :) (書目-語言資料,印刷品)

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

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

主題