Recent Advances in Constraints
Hnich, Brahim.
Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers / edited by Brahim Hnich, Mats Carlsson, François Fages, Francesca Rossi. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540342168
Computer science.; Computer software.; Logic design.; Electronic data processing.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.; Numeric Computing.; Mathematical Logic and Formal Languages.
Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers / edited by Brahim Hnich, Mats Carlsson, François Fages, Francesca Rossi. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540342168
Computer science.; Computer software.; Logic design.; Electronic data processing.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.; Numeric Computing.; Mathematical Logic and Formal Languages.