語系
Ianni, Giovambattista.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Logic programming and nonmonotonic reasoning13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings /
by:
(1998 :); Calimeri, Francesco.; Ianni, Giovambattista.; SpringerLink (Online service); Truszczynski, Miroslaw.
(書目-電子資源)
Reasoning websemantic interoperability on the web : 13th International Summer School 2017, London, UK, July 7-11, 2017 : tutorial lectures /
by:
(1998 :); Ianni, Giovambattista.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Nonmonotonic reasoning
Logics and Meanings of Programs.
Logic programming
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Semantic Web
Semantic computing
Database Management.
Information Storage and Retrieval.
Computer Science.
Discrete Mathematics in Computer Science.