Warren, David S.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Practical Aspects of Declarative Languages :10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings /
by:
(1998 :); SpringerLink (Online service); Warren, David S.
(Electronic resources)
Prologthe next 50 years /
by:
SpringerLink (Online service); Warren, David S.
(Electronic resources)
Logic programming25th international conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 : proceedings /
by:
(1998 :); Hill, Patricia M.; SpringerLink (Online service); Warren, David S.
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Mathematics of Computing.
Programming Techniques.
Logic programming
Artificial Intelligence (incl. Robotics)
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.
Artificial Intelligence.
Computer Science.
Prolog (Computer program language)