Download or read book Constraints in Computational Logics. Theory and Applications written by Hubert Comon and published by Springer Science & Business Media. This book was released on 2001-04-18 with total page 321 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.