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:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Larrosa, Javier.; O'Sullivan, Barry.
(Language materials, printed)
Subjects
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Computer Science.
Constraint programming (Computer science)
Constraints (Artificial intelligence)
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Symbolic and Algebraic Manipulation.