Languages
Zhou, Neng-Fa.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Constraint Solving and Planning with Picat
by:
Kjellerstrand, Håkan.; SpringerLink (Online service); Fruhman, Jonathan.; Zhou, Neng-Fa.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Constraint solving and planning with Picat
by:
SpringerLink (Online service); Kjellerstrand, Hakan.; Fruhman, Jonathan.; Zhou, Neng-Fa.
(Language materials, printed)
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)
(Language materials, printed)
Subjects
Software Engineering.
Artificial intelligence.
Theory of Computation.
Computer Science.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Data mining.
Artificial Intelligence.
Computers.
Declarative programming languages
Programming Languages, Compilers, Interpreters.
Data Mining and Knowledge Discovery.
Logic programming languages.