Tell your friends about this item:
Constraints in Computational Logics. Theory and Applications: International Summer School, Ccl'99 Gif-sur-yvette, France September 5-8, 1999 : Revised Lectures (Theory and Applications - International Summer School, Ccl'99 Gif-sur-yvette, France, Septembe Hubert et Al Comon
Constraints in Computational Logics. Theory and Applications: International Summer School, Ccl'99 Gif-sur-yvette, France September 5-8, 1999 : Revised Lectures (Theory and Applications - International Summer School, Ccl'99 Gif-sur-yvette, France, Septembe
Hubert et Al Comon
Constraints provide a declarative way of representing infinite sets of data. These lectures cover constraints and constraint solving, constraint solving on terms, combining constraint solving, constraints and theorem proving, functional and constraint logic programming, and industrial applications.
328 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | April 18, 2001 |
| ISBN13 | 9783540419501 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 328 |
| Dimensions | 156 × 234 × 17 mm · 458 g |
| Language | German |
| Editor | Treinen, Ralf |