語系
Zhou, Neng-Fa.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Constraint Solving and Planning with Picat
by:
Kjellerstrand, Håkan.; SpringerLink (Online service); Fruhman, Jonathan.; Zhou, Neng-Fa.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Constraint solving and planning with Picat
by:
SpringerLink (Online service); Kjellerstrand, Hakan.; Fruhman, Jonathan.; Zhou, Neng-Fa.
(書目-語言資料,印刷品)
Practical aspects of declarative languages = 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : proceedings /
by:
Zhou, Neng-Fa.; Workshop on the Preservation of Stability under Discretization ((2001 :); Russo, Claudio.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Artificial Intelligence (incl. Robotics)
Data mining.
Artificial Intelligence.
Artificial intelligence.
Theory of Computation.
Computers.
Declarative programming languages
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Data Mining and Knowledge Discovery.
Logic programming languages.