语系
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.