Warren, David S.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-電子資源)
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.
(書目-電子資源)
主題
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)