語系
Calimeri, Francesco.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logics in Artificial Intelligence = 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings /
by:
SpringerLink (Online service); Calimeri, Francesco.; Manna, Marco.; Leone, Nicola.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic Programming and Nonmonotonic Reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
by:
SpringerLink (Online service); Truszczynski, Miroslaw.; Ianni, Giovambattista.; Calimeri, Francesco.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic programming and nonmonotonic reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings /
by:
Calimeri, Francesco.; Ianni, Giovambattista.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Truszczynski, Miroslaw.
(書目-語言資料,印刷品)
Logics in artificial intelligence = 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings /
by:
SpringerLink (Online service); Leone, Nicola.; Calimeri, Francesco.; Workshop on the Preservation of Stability under Discretization ((2001 :); Manna, Marco.
(書目-語言資料,印刷品)
Practical Aspects of Declarative Languages = 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings /
by:
SpringerLink (Online service); Calimeri, Francesco.; Leone, Nicola.; Hamlen, Kevin.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Mathematical logic.
Computer science—Mathematics.
Computer logic.
Artificial intelligence.
Software engineering.
Nonmonotonic reasoning
Computer Appl. in Administrative Data Processing.
Programming Techniques.
Computer Science.
Computer programming.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Logic programming
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Application software.
Artificial Intelligence.
Logic, Symbolic and mathematical
Discrete Mathematics in Computer Science.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).