Recent Advances in Constraints
Larrosa, Javier.
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 / [electronic resource] : edited by Javier Larrosa, Barry O’Sullivan. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 6384 0302-9743 ; .
9783642194863
Computer science
Computer software
Logic design
Algebra--Data processing
Artificial intelligence
Computer Science
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Symbolic and Algebraic Manipulation
Algorithm Analysis and Problem Complexity
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 / [electronic resource] : edited by Javier Larrosa, Barry O’Sullivan. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 6384 0302-9743 ; .
9783642194863
Computer science
Computer software
Logic design
Algebra--Data processing
Artificial intelligence
Computer Science
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Symbolic and Algebraic Manipulation
Algorithm Analysis and Problem Complexity