


default search action
CCL 1999: Gif-sur-Yvette, France
- Hubert Comon, Claude Marché, Ralf Treinen:

Constraints in Computational Logics: Theory and Applications, International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999, Revised Lectures. Lecture Notes in Computer Science 2002, Springer 2001, ISBN 3-540-41950-0 - Jean-Pierre Jouannaud, Ralf Treinen:

Constraints and Constraint Solving: An Introduction. 1-46 - Hubert Comon, Claude Kirchner:

Constraint Solving on Terms. 47-103 - Franz Baader, Klaus U. Schulz:

Combining Constraint Solving. 104-158 - Harald Ganzinger, Robert Nieuwenhuis:

Constraints and Theorem Proving. 159-201 - Mario Rodríguez-Artalejo:

Functional and Constraint Logic Programming. 202-270 - Helmut Simonis:

Building Industrial Applications with Constraint Programming. 271-309

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














