Recent Advances in Constraints
Azevedo, Francisco.
Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers / edited by Francisco Azevedo, Pedro Barahona, François Fages, Francesca Rossi. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540738176
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 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers / edited by Francisco Azevedo, Pedro Barahona, François Fages, Francesca Rossi. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540738176
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.