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:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Warren, David S.
(書目-電子資源)
主題
Software Engineering.
Artificial Intelligence.
Prolog (Computer program language)
Programming languages (Electronic computers)
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Computer Science Logic and Foundations of Programming.