Constraints in Computational Logics. Theory and Applications
Author | : Hubert Comon |
Publisher | : Springer Science & Business Media |
Total Pages | : 321 |
Release | : 2001-04-18 |
Genre | : Computers |
ISBN | : 3540419500 |
Download Constraints in Computational Logics. Theory and Applications Book in PDF, ePub and Kindle
Constraints and constraint solving : an introduction / Jean-Pierre Jouannaud / - Constraint solving on terms / Hubert Comon / - Combining constraint solving / Franz Baader / - Constraints and theorem proving / Harald Ganzinger / - Functional and constraint logic programming / Mario Rodríguez-Artalejo / - Building industrial applications with constraint programming / Helmut Simonis.