Pontelli, Enrico.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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 :)
(Language materials, printed)
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.
(Language materials, printed)
Subjects
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.