語系
Eiter, Thomas.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic programming and nonmonotonic reasoning[electronic resource] :6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings /
by:
Eiter, Thomas.; Faber, Wolfgang.; LPNMR 2001 ((2001 :); SpringerLink (Online service); Truszczynski, Miroslaw.
(書目-電子資源)
Advances in knowledge representation, logic programming, and abstract argumentation[electronic resource] :essays dedicated to Gerhard Brewka on the occasion of his 60th birthday /
by:
Eiter, Thomas.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Nonmonotonic reasoning
Logic programming.
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Logic programming
Computer Science.
Artificial intelligence.