Furbach, Ulrich.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logics in artificial intelligenceEuropean Workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 : proceedings /
by:
(1998 :); Dix, Jurgen.; Farinas del Cerro, Luis.; Furbach, Ulrich.; SpringerLink (Online service)
(書目-電子資源)
KI 2005: Advances in Artificial Intelligence :28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings
by:
(1998 :); Furbach, Ulrich.; SpringerLink (Online service)
(書目-電子資源)
A different look at artificial intelligenceon tour with bergson, proust and nabokov /
by:
Barthelmess, Ulrike.; Furbach, Ulrich.; SpringerLink (Online service)
(書目-電子資源)
Automated ReasoningThird International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
by:
(1998 :); Furbach, Ulrich.; Shankar, Natarajan.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Artificial intelligence
Digital Humanities.
Logics and Meanings of Programs.
Humanities and Social Sciences.
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Computer logic
Artificial Intelligence.
Computer Science.
Logic, Symbolic and mathematical
Computers and Society.