Constraints in Computational Logics. Theory and Applications
| Author | : Hubert Comon |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 321 |
| Release | : 2001-04-18 |
| ISBN-10 | : 9783540419501 |
| ISBN-13 | : 3540419500 |
| Rating | : 4/5 (500 Downloads) |
Book Synopsis Constraints in Computational Logics. Theory and Applications by : Hubert Comon
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.