Pontelli, Enrico.
Overview
Works: | 2 works in 0 publications in 0 languages |
---|
Titles
Software engineering /
by:
Dooley, Jenny.; Evans, Virginia.; Pontelli, Enrico.
(Language materials, printed)
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)
(Electronic resources)
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)
(Electronic resources)
Subjects
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.