Dovier, Agostino.
概要
作品: | 2 作品在 1 項出版品 1 種語言 |
---|
書目資訊
AIxIA 2022 - advances in artificial intelligenceXXIst 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. (2022 :); Dovier, Agostino.; Montanari, Angelo.; Orlandini, Andrea.; SpringerLink (Online service)
(書目-電子資源)
A 25-Year perspective on logic programmingachievements of the Italian Association for Logic Programming, GULP /
by:
Dovier, Agostino.; Italian Association for Logic Programming.; Pontelli, Enrico.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Theory of Computation.
Artificial intelligence
Software Engineering.
Mathematics of Computing.
Logics and Meanings of Programs.
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.