語系
Voronkov, Andrei.
概要
| 作品: | 1 作品在 9 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic for Programming, Artificial Intelligence, and Reasoning : = 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
by:
Voronkov, Andrei.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Sutcliffe, Geoff.
(書目-電子資源)
Perspectives of systems informatics = 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers /
by:
SpringerLink (Online service); Pnueli, Amir.; Voronkov, Andrei.; Virbitskaite, Irina.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
Perspectives of systems informatics = 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Virbitskaite, Irina.; Voronkov, Andrei.; Clarke, Edmund.; SpringerLink (Online service)
(書目-電子資源)
Logic for programming, artificial intelligence, and reasoning = 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings /
by:
Fermuller, Christian G.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Voronkov, Andrei.
(書目-電子資源)
Logic for programming, artificial intelligence, and reasoning = 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers /
by:
SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Clarke, Edmund M.; Voronkov, Andrei.
(書目-電子資源)
Logic for programming, artificial intelligence, and reasoning = 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings /
by:
SpringerLink (Online service); Voronkov, Andrei.; Bjorner, Nikolaj.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
Rewriting Techniques and Applications = 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /
by:
SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Voronkov, Andrei.
(書目-電子資源)
Logic for Programming, Artificial Intelligence, and Reasoning = 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings /
by:
SpringerLink (Online service); Baader, Franz.; Voronkov, Andrei.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
Logic for programming, artificial intelligence, and reasoning = 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /
by:
SpringerLink (Online service); LPAR 2008 (Dawhah, Qatar)) ((2008 :); Veith, Helmut.; Cervesato, Iliano.; Voronkov, Andrei.
(書目-電子資源)
主題
Software Engineering.
Logic Computer programming
Algorithm Analysis and Problem Complexity.
Symbolic and Algebraic Manipulation.
Automatic theorem proving
Software engineering
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer programming
Logic programming
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Computer Imaging, Vision, Pattern Recognition and Graphics.
Algebra- Data processing.
Systems engineering
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Computer logic