語系
Voronkov, Andrei.
概要
| 作品: | 1 作品在 7 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Perspectives of system informatics12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019 : revised selected papers /
by:
(1998 :); Bjorner, Nikolaj.; SpringerLink (Online service); Virbitskaite, Irina.; Voronkov, Andrei.
(書目-電子資源)
Logic for Programming, Artificial Intelligence, and Reasoning11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings /
by:
(1998 :); Baader, Franz.; SpringerLink (Online service); Voronkov, Andrei.
(書目-電子資源)
Perspectives of system informatics11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017 : revised selected papers /
by:
(1998 :); Petrenko, Alexander K.; SpringerLink (Online service); Voronkov, Andrei.
(書目-電子資源)
Logic for programming, artificial intelligence, and reasoning15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /
by:
Cervesato, Iliano.; LPAR 2008 (Dawhah, Qatar)) ((2008 :); SpringerLink (Online service); Veith, Helmut.; Voronkov, Andrei.
(書目-電子資源)
Logic for programming, artificial intelligence, and reasoning16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers /
by:
(1998 :); Clarke, Edmund M.; SpringerLink (Online service); Voronkov, Andrei.
(書目-電子資源)
Logic for programming, artificial intelligence, and reasoning18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings /
by:
(1998 :); Bjorner, Nikolaj.; SpringerLink (Online service); Voronkov, Andrei.
(書目-電子資源)
Perspectives of system informatics10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015 : revised selected papers /
by:
(1998 :); Mazzara, Manuel.; SpringerLink (Online service); Voronkov, Andrei.
(書目-電子資源)
Logic for Programming, Artificial Intelligence, and Reasoning :12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
by:
(1998 :); SpringerLink (Online service); Sutcliffe, Geoff.; Voronkov, Andrei.
(書目-電子資源)
Logic for Programming, Aritficial Intelligence, and Reasoning13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings /
by:
(1998 :); Hermann, Miki.; SpringerLink (Online service); Voronkov, Andrei.
(書目-電子資源)
Logic for programming, artificial intelligence, and reasoning8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings /
by:
(1998 :); Nieuwenhuis, Robert.; SpringerLink (Online service); Voronkov, Andrei.
(書目-電子資源)
Logic for programming and automated reasoning6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings /
by:
(1998 :); Ganzinger, Harald.; McAllester, David.; SpringerLink (Online service); Voronkov, Andrei.
(書目-電子資源)
Perspectives of system informatics9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014 : revised selected papers /
by:
(1998 :); SpringerLink (Online service); Virbitskaite, Irina.; Voronkov, Andrei.
(書目-電子資源)
Perspectives of systems informatics8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers /
by:
(1998 :); Clarke, Edmund.; SpringerLink (Online service); Virbitskaite, Irina.; Voronkov, Andrei.
(書目-電子資源)
Logic for programming, artificial intelligence, and reasoning17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings /
by:
(1998 :); Fermuller, Christian G.; SpringerLink (Online service); Voronkov, Andrei.
(書目-電子資源)
Rewriting Techniques and Applications19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /
by:
(1998 :); SpringerLink (Online service); Voronkov, Andrei.
(書目-電子資源)
Logic for programming, artificial intelligence, and reasoning9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings /
by:
(1998 :); Baaz, Matthias.; SpringerLink (Online service); Voronkov, Andrei.
(書目-電子資源)
Logic for programming and automated reasoning7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings /
by:
(1998 :); Parigot, Michel.; SpringerLink (Online service); Voronkov, Andrei.
(書目-電子資源)
Perspectives of systems informatics7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers /
by:
(1998 :); Pnueli, Amir.; SpringerLink (Online service); Virbitskaite, Irina.; Voronkov, Andrei.
(書目-電子資源)
更多
較少的
主題
Artificial intelligence
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Logics and Meanings of Programs.
Systems engineering
Logic Computer programming
Logic in AI.
Logic programming
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Algebra
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Programming Languages, Compilers, Interpreters.
Computer programming
Computer logic
Special Purpose and Application-Based Systems.
Computer science
Computer Imaging, Vision, Pattern Recognition and Graphics.
The Computing Profession.
Computer Science.
System Performance and Evaluation.
Computer Communication Networks.
Symbolic and Algebraic Manipulation.