Larrosa, Javier.
Overview
| Works: | 2 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Recent advances in constraints = 14th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009 : revised selected papers /
by:
Larrosa, Javier.; O'Sullivan, Barry.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Constraints (Artificial intelligence)
Computer Science.
Constraint programming (Computer science)
Symbolic and Algebraic Manipulation.