Principles and Practice of Constraint Programming - CP 2005 [electronic resource] : 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005 /
CP 2005Corporate Author
CP 2005(2005 :Sitges, Spain)
van Beek, Peter.editor.
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
Invited Papers -- Best Papers -- Full Papers -- Short Papers -- Doctoral Papers -- System Demonstrations.
Software engineering.
Computer programming.
Programming languages (Electronic computers).
Artificial intelligence.
Computer logic.
Mathematical logic.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Artificial Intelligence.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Lecture notes in computer science