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...
Сохранить в:
| Соавтор: | |
|---|---|
| Другие авторы: | , , |
| Формат: | Livre numérique |
| Язык: | Anglais |
| Опубликовано: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Серии: | Lecture notes in computer science
2002 |
| Предметы: | |
| Online-ссылка: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Примечание: |
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 |
Оглавление:
- 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.