語系
Dovier, Agostino.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
AIxIA 2022 - advances in artificial intelligence = XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022 : proceedings /
by:
Associazione italiana per l'intelligenza artificiale., Congress (2022 :); Dovier, Agostino.; Montanari, Angelo.; SpringerLink (Online service); Orlandini, Andrea.
(書目-電子資源)
A 25-Year perspective on logic programming = achievements of the Italian Association for Logic Programming, GULP /
by:
Dovier, Agostino.; Pontelli, Enrico.; SpringerLink (Online service); Italian Association for Logic Programming.
(書目-語言資料,印刷品)
主題
Mathematical Logic and Formal Languages.
Theory of Computation.
Artificial intelligence
Software Engineering.
Logics and Meanings of Programs.
Mathematics of Computing.
Computer and Information Systems Applications.
Logic programming.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Special Purpose and Application-Based Systems.
Artificial Intelligence.
Italian Association for Logic Programming.
Computer Science.
Compilers and Interpreters.