語系
Faber, Wolfgang.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reasoning webweb logic rules : 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, tutorial lectures /
by:
(1998 :); Faber, Wolfgang.; Paschke, Adrian.; SpringerLink (Online service)
(書目-電子資源)
Logics in artificial intelligence17th European Conference, JELIA 2021, virtual event, May 17-20, 2021 : proceedings /
by:
(1998 :); Faber, Wolfgang.; SpringerLink (Online service)
(書目-電子資源)
Logic programming and nonmonotonic reasoning6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings /
by:
(1998 :); Eiter, Thomas.; Faber, Wolfgang.; SpringerLink (Online service); Truszczynski, Miroslaw.
(書目-電子資源)
Logic programming and nonmonotonic reasoning11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings /
by:
(1998 :); Delgrande, James P.; Faber, Wolfgang.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Artificial intelligence
Nonmonotonic reasoning
Logics and Meanings of Programs.
Logic programming
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Semantic Web
Semantic computing
Database Management.
Information Systems Applications (incl. Internet)
Information Storage and Retrieval.
Special Purpose and Application-Based Systems.
Artificial Intelligence.
Computer Science.
Discrete Mathematics in Computer Science.
Logic, Symbolic and mathematical
Computer Applications.