Voronkov, Andrei.

概要

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

書目資訊

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); Clarke, Edmund.; Workshop on the Preservation of Stability under Discretization ((2001 :); Virbitskaite, Irina. (書目-語言資料,印刷品)

Logic for programming, artificial intelligence, and reasoning = 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings / by: Bjorner, Nikolaj.; Workshop on the Preservation of Stability under Discretization ((2001 :); Voronkov, Andrei.; SpringerLink (Online service) (書目-語言資料,印刷品)

Perspectives of system informatics = 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015 : revised selected papers / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Mazzara, Manuel.; Voronkov, Andrei.; SpringerLink (Online service) (書目-語言資料,印刷品)

Logic for programming, artificial intelligence, and reasoning = 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings / by: SpringerLink (Online service); Veith, Helmut.; Cervesato, Iliano.; Voronkov, Andrei.; LPAR 2008 (Dawhah, Qatar)) ((2008 :) (書目-語言資料,印刷品)

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.; Workshop on the Preservation of Stability under Discretization ((2001 :) (書目-語言資料,印刷品)

Perspectives of System Informatics = 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers / by: Petrenko, Alexander K.; Voronkov, Andrei.; SpringerLink (Online service) (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

Perspectives of System Informatics = 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers / by: Virbitskaite, Irina.; Voronkov, Andrei.; SpringerLink (Online service) (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

Logic for Programming, Artificial Intelligence, and Reasoning : = 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings by: Sutcliffe, Geoff.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Voronkov, Andrei. (書目-語言資料,印刷品)

Perspectives of System Informatics = 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers / by: Mazzara, Manuel.; Voronkov, Andrei.; SpringerLink (Online service) (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

Rewriting Techniques and Applications = 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings / by: Voronkov, Andrei.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :) (書目-語言資料,印刷品)

主題