語系
Warren, David S.
概要
作品: | 3 作品在 2 項出版品 1 種語言 |
---|
書目資訊
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); Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
Logic programming = 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 : proceedings /
by:
SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Hill, Patricia M.; Warren, David S.
(書目-電子資源)
主題
Software Engineering.
Artificial Intelligence (incl. Robotics)
Mathematics of Computing.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Logic programming
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming languages (Electronic computers)- Semantics