語系
Balduccini, Marcello.
概要
| 作品: | 14 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic programming and nonmonotonic reasoning = 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Janhunen, Tomi.; SpringerLink (Online service); Balduccini, Marcello.
(書目-語言資料,印刷品)
Logic programming, knowledge representation, and nonmonotonic reasoning = essays dedicated to Michael Gelfond on the occasion of his 65th birthday /
by:
Son, Tran Cao.; SpringerLink (Online service); Balduccini, Marcello.
(書目-語言資料,印刷品)
Logic Programming and Nonmonotonic Reasoning = 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings /
by:
Woltran, Stefan.; Lierler, Yuliya.; Balduccini, Marcello.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic programming and nonmonotonic reasoning = 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019 : proceedings /
by:
Balduccini, Marcello.; SpringerLink (Online service); Woltran, Stefan.; Lierler, Yuliya.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Software Engineering/Programming and Operating Systems.
Computer logic.
Artificial intelligence.
Software engineering.
Nonmonotonic reasoning
Computer Appl. in Administrative Data Processing.
Programming Techniques.
Computer Science.
Mathematical Logic and Formal Languages.
Logic programming
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Nonmonotonic reasoning.
Application software.
Logic programming.
Artificial Intelligence.
Database management.
Discrete Mathematics in Computer Science.
Database Management.