Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 18 de abril de 2001 |
| ISBN13 | 9783540419501 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 328 |
| Dimensiones | 156 × 234 × 17 mm · 458 g |
| Lengua | Alemán |
| Editor | Treinen, Ralf |