語系
Calimeri, Francesco.
概要
| 作品: | 5 作品在 3 項出版品 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.
(書目-電子資源)
Logics in artificial intelligence16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings /
by:
(1998 :); Calimeri, Francesco.; Leone, Nicola.; Manna, Marco.; SpringerLink (Online service)
(書目-電子資源)
Practical aspects of declarative languages20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018 : proceedings /
by:
(1998 :); Calimeri, Francesco.; Hamlen, Kevin.; Leone, Nicola.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Declarative programming
Artificial intelligence
Nonmonotonic reasoning
Logics and Meanings of Programs.
Logic programming
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Declarative programming languages
Programming Languages, Compilers, Interpreters.
Computer Appl. in Administrative Data Processing.
Artificial Intelligence.
Computer Science.
Discrete Mathematics in Computer Science.
Logic, Symbolic and mathematical