Languages
Zhou, Neng-Fa.
Overview
| Works: | 11 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Practical aspects of declarative languages14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : proceedings /
by:
(1998 :); Russo, Claudio.; SpringerLink (Online service); Zhou, Neng-Fa.
(Electronic resources)
Constraint solving and planning with Picat
by:
Fruhman, Jonathan.; Kjellerstrand, Hakan.; SpringerLink (Online service); Zhou, Neng-Fa.
(Electronic resources)
Subjects
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.