Constraint Processing
Meyer, Manfred.
Constraint Processing Selected Papers / edited by Manfred Meyer. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540492818
Computer science.; Logic design.; Information storage and retrieval systems.; Artificial intelligence.; Computer Science.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Artificial Intelligence (incl. Robotics).; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Information Storage and Retrieval.
Constraint Processing Selected Papers / edited by Manfred Meyer. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540492818
Computer science.; Logic design.; Information storage and retrieval systems.; Artificial intelligence.; Computer Science.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Artificial Intelligence (incl. Robotics).; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Information Storage and Retrieval.