語系
Manna, Marco.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reasoning web = declarative artificial intelligence : 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020 : tutorial lectures /
by:
Manna, Marco.; SpringerLink (Online service); Pieris, Andreas.; Summer School on Reasoning Web (2020 :)
(書目-電子資源)
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)
(書目-電子資源)
主題
Artificial intelligence
Mathematical Logic and Formal Languages.
Natural Language Processing (NLP)
Logics and Meanings of Programs.
Programming Techniques.
Semantic computing
Semantic Web
Database Management.
Computer Appl. in Administrative Data Processing.
Programming Languages, Compilers, Interpreters.
Artificial Intelligence.
Logic, Symbolic and mathematical
Computer Hardware.
Computer Applications.