Constraints in Computational Logics. Theory and Applications
The book offers coherently written chapters on constraints and constraint solving, constraint solving on terms, combining constraint solving, constraints and theorem proving, functional and constraint logic programming, and building industrial applications.
1 online resource.
9783540419501, 9783662207116, 3540419500, 3662207117
243488411
Constraints and Constraint Solving: An Introduction.- Constraint Solving on Terms.- Combining Constraint Solving.- Constraints and Theorem Proving.- Functional and Constraint Logic Programming.- Building Industrial Applications with Constraint Programming.
Electronic reproduction, SpringerLink