語系
Zhou, Neng-Fa.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Practical aspects of declarative languages = 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : proceedings /
by:
Russo, Claudio.; Zhou, Neng-Fa.; SpringerLink (Online service)
(書目-電子資源)
Constraint solving and planning with Picat
by:
Zhou, Neng-Fa.; Kjellerstrand, Hakan.; Fruhman, Jonathan.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Theory of Computation.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Declarative programming languages
Programming Languages, Compilers, Interpreters.
Logic programming languages.
Data Mining and Knowledge Discovery.
Computer Science.