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 - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540419501 - 18 de abril de 2001
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.
Añadir a tu lista de deseos de iMusic

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

Mere med samme udgiver