Constraints in computational logics : theory and applications : International Summer School, CCL 99, Gif-sur-Yvette, France, September 5 8, 1999 : revised lectures
Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automa...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
2002 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Constraints in computational logics, theory and applications, International Summer School, CCL'99 Gif-sur-Yvette, France September 5-8, 1999, revised lectures, Hubert Comon, Claude Marché, Ralf Treinen (eds.), 2001, Berlin, Springer, 1 vol. (XII-309 p.), Lecture notes in computer science, 3-540-41950-0 • Constraints in Computational Logics: Theory and Applications, Texte imprimé, 9783662207116 |
| LEADER | 03996nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 971353 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155205714 | ||
| 020 | |a 9783540454069 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Summer School on Constraints in computational logics |d (1999 |c :Gif-sur-Yvette, Essonne). | |
| 245 | 1 | 0 | |a Constraints in computational logics : |b theory and applications : International Summer School, CCL 99, Gif-sur-Yvette, France, September 5 8, 1999 : revised lectures |c [edited by] Hubert Comon, Claude Marché, Ralf Treinen. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2002 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Constraints and Constraint Solving: An Introduction -- Constraint Solving on Terms -- Combining Constraint Solving -- Constraints and Theorem Proving -- Functional and Constraint Logic Programming -- Building Industrial Applications with Constraint Programming. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automated deduction is more recent and has proved to be very successful, moving the control from the meta-level to the constraints, which are now first-class objects. This monograph-like book presents six thoroughly reviewed and revised lectures given by leading researchers at the summer school organized by the ESPRIT CCL Working Group in Gif-sur-Yvette, France, in September 1999. The book offers coherently written chapters on constraints and constraint solving, constraint solving on terms, combining constraint solving, constraints and theorem proving, functional and constraint logic programming, and building industrial applications. | ||
| 650 | |a Informatique | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Programmation par contraintes | ||
| 650 | |a Programmation logique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Comon-Lundh, Hubert, |d 1957-...., |c auteur en informatique. |4 pbd | |
| 700 | 1 | |a Marché, Claude, |d 19..-..., |c chercheur en informatique. |4 pbd | |
| 700 | 1 | |a Treinen, Ralf, |d 1961- |4 pbd | |
| 776 | 0 | |0 056231768 |t Constraints in computational logics |o theory and applications |o International Summer School, CCL'99 Gif-sur-Yvette, France September 5-8, 1999 |o revised lectures |f Hubert Comon, Claude Marché, Ralf Treinen (eds.) |d 2001 |c Berlin |n Springer |p 1 vol. (XII-309 p.) |s Lecture notes in computer science |z 3-540-41950-0 | |
| 776 | 0 | |t Constraints in Computational Logics: Theory and Applications |b Texte imprimé |z 9783662207116 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-45406-3 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-VCRFJ4FC-0 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750653485 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-45406-3 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754003663 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-45406-3 |z Accès INSA CVL | |
| 997 | |0 971353 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||