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, september 5-8, 1999
Auteur :
Comon, Hubert
ISBN :
9783540419501
Date de publication :
18 avr. 2001
Dimensions :
23,4 x 15,6 x 1,7 cm
Poids :
462 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
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.