語系
Warren, David S.
概要
| 作品: | 3 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computing with logic : = logic programming with Prolog /
by:
Warren, David S.; Maier, David, (1953-)
(書目-語言資料,印刷品)
Practical Aspects of Declarative Languages = 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings /
by:
Warren, David S.; SpringerLink (Online service); PADL 2008 ((2008 :)
(書目-電子資源)
主題
Software Engineering.
Logics and Meanings of Programs.
Logic programming.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer Science Logic and Foundations of Programming.
Programming languages (Electronic computers)- Semantics
Artificial Intelligence.
Prolog (Computer program language)
Computer Science.