Languages
Larrosa, Javier.
Overview
Works: | 1 works in 1 publications in 1 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:
Congress on Progress and Controversies in Oncological Urology (2000:); Larrosa, Javier.; O'Sullivan, Barry.; SpringerLink (Online service)
(Electronic resources)
Subjects
Artificial Intelligence (incl. Robotics)
Constraints (Artificial intelligence)
Algorithm Analysis and Problem Complexity.
Computer Science.
Programming Languages, Compilers, Interpreters.
Symbolic and Algebraic Manipulation.
Constraint programming (Computer science)
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.