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