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