語系
Erdem, Esra.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic programming and nonmonotonic reasoning10th international conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009 : proceedings /
by:
(1998 :); Erdem, Esra.; Lin, Fangzhen.; Schaub, Torsten.; SpringerLink (Online service)
(書目-電子資源)
Correct reasoningessays on logic-based AI in honour of Vladimir Lifschitz /
by:
Erdem, Esra.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Nonmonotonic reasoning
Logics and Meanings of Programs.
Logic programming
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Logic programming.
Programming Languages, Compilers, Interpreters.
Computer Science.
Discrete Mathematics in Computer Science.
Artificial intelligence.