Pontelli, Enrico.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Practical aspects of declarative languages = second International Workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings /
by:
Pontelli, Enrico.; Santos Costa, Vitor.; SpringerLink (Online service); PADL '2000 ((2000 :)
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
主題
Declarative programming
Mathematical Logic and Formal Languages.
Theory of Computation.
Logics and Meanings of Programs.
Mathematics of Computing.
Logic programming.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Programming languages (Electronic computers)- Semantics
Italian Association for Logic Programming.
Computer Science.