Faltings, Boi V.
Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers / [electronic resource] : edited by Boi V. Faltings, Adrian Petcu, François Fages, Francesca Rossi. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3419 0302-9743 ; . - Lecture Notes in Computer Science, 3419 .
9783540322528
10.1007/b106890 doi
Computer science.
Computer software.
Logic design.
Electronic data processing.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Programming Languages, Compilers, Interpreters.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Numeric Computing.
Q334-342 TJ210.2-211.495
006.3
Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers / [electronic resource] : edited by Boi V. Faltings, Adrian Petcu, François Fages, Francesca Rossi. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3419 0302-9743 ; . - Lecture Notes in Computer Science, 3419 .
9783540322528
10.1007/b106890 doi
Computer science.
Computer software.
Logic design.
Electronic data processing.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Programming Languages, Compilers, Interpreters.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Numeric Computing.
Q334-342 TJ210.2-211.495
006.3