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. - digital. - Lecture Notes in Computer Science, 6384 0302-9743 ; . - Lecture Notes in Computer Science, 6384 .
9783642194863
10.1007/978-3-642-19486-3 doi
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.
Q334-342 TJ210.2-211.495
006.3
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. - digital. - Lecture Notes in Computer Science, 6384 0302-9743 ; . - Lecture Notes in Computer Science, 6384 .
9783642194863
10.1007/978-3-642-19486-3 doi
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.
Q334-342 TJ210.2-211.495
006.3