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 - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540419501 - April 18, 2001
In case cover and title do not match, the title is correct

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

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 10 - 16
Add to your iMusic wish list

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

Mere med samme udgiver