語系
Calimeri, Francesco.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Practical aspects of declarative languages = 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018 : proceedings /
by:
PADL (Symposium) (2018 :); Calimeri, Francesco.; Hamlen, Kevin.; Leone, Nicola.; SpringerLink (Online service)
(書目-電子資源)
Logic programming and nonmonotonic reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings /
by:
Calimeri, Francesco.; Ianni, Giovambattista.; Truszczynski, Miroslaw.; SpringerLink (Online service)
(書目-電子資源)
Logics in artificial intelligence = 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings /
by:
JELIA (Conference) (2019 :); Calimeri, Francesco.; Leone, Nicola.; Manna, Marco.; 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