語系
Manna, Marco.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reasoning Web. Declarative Artificial Intelligence = 16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures /
by:
SpringerLink (Online service); Pieris, Andreas.; Manna, Marco.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logics in Artificial Intelligence = 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings /
by:
Calimeri, Francesco.; Manna, Marco.; Leone, Nicola.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logics in artificial intelligence = 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings /
by:
Leone, Nicola.; SpringerLink (Online service); Calimeri, Francesco.; Workshop on the Preservation of Stability under Discretization ((2001 :); Manna, Marco.
(書目-語言資料,印刷品)
主題
Mathematical logic.
Computer logic.
Artificial intelligence.
Computer Applications.
Logic, Symbolic and mathematical
Natural Language Processing (NLP).
Computer Appl. in Administrative Data Processing.
Natural language processing (Computer science).
Programming Techniques.
Computer programming.
Computer hardware.
Computer Hardware.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Database Management.
Artificial intelligence
Application software.
Artificial Intelligence.
Database management.