Constraints in computational logics: theory and application. International summer school, CCL '99, Gif-sur-Yvette, France, September 5--8, 1999. Revised lectures (Q5933483)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Constraints in computational logics: theory and application. International summer school, CCL '99, Gif-sur-Yvette, France, September 5--8, 1999. Revised lectures |
scientific article; zbMATH DE number 1599103
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Constraints in computational logics: theory and application. International summer school, CCL '99, Gif-sur-Yvette, France, September 5--8, 1999. Revised lectures |
scientific article; zbMATH DE number 1599103 |
Statements
Constraints in computational logics: theory and application. International summer school, CCL '99, Gif-sur-Yvette, France, September 5--8, 1999. Revised lectures (English)
0 references
16 May 2001
0 references
The articles of this volume will be reviewed individually. Indexed articles: \textit{Jouannaud, Jean-Pierre; Treinen, Ralf}, Constraints and constraint solving: an introduction, 1-46 [Zbl 0976.03517] \textit{Comon, Hubert; Kirchner, Claude}, Constraint solving on terms, 47-103 [Zbl 0976.03516] \textit{Baader, Franz; Schulz, Klaus U.}, Combining constraint solving, 104-158 [Zbl 0976.03515] \textit{Ganzinger, Harald; Nieuwenhuis, Robert}, Constraints and theorem proving, 159-201 [Zbl 0976.03518] \textit{RodrÃguez-Artalejo, Mario}, Functional and constraint logic programming, 202-270 [Zbl 0976.68507] \textit{Simonis, Helmut}, Building industrial applications with constraint programming, 271-309 [Zbl 0976.68541]
0 references
Gif-sur-Yvette (France)
0 references
Summer school
0 references
Lectures
0 references
CCL '99
0 references
Computational logics
0 references
