語系
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.
Logic, Symbolic and mathematical
Nonmonotonic reasoning
Computer Appl. in Administrative Data Processing.
Discrete Mathematics in Computer Science.
Programming Techniques.
Computer Science.
Computer programming.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Logic programming
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Application software.
Artificial Intelligence.