Opening book details…
Can I read Constraints in Computational Logics : Theory and Applications International Summer School, CCL '99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures on EtoBox?
Constraints in Computational Logics : Theory and Applications International Summer School, CCL '99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures by Jean-Pierre Jouannaud, Ralf Treinen (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Hubert Comon, Claude Marché, Ralf Treinen (eds.) is a computer science book available to read on EtoBox.
What is Constraints in Computational Logics : Theory and Applications International Summer School, CCL '99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures about?
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.<br>This monograph-like book presents si
Who reads Constraints in Computational Logics : Theory and Applications International Summer School, CCL '99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Jean-Pierre Jouannaud, Ralf Treinen (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Hubert Comon, Claude Marché, Ralf Treinen (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2001
- Language
- EN
- ISBN
- 9783540419501
- Category
- computer science
- Subjects
- Mathematics, Engineering, Technology
- Updated
- 2026-03-25
Other editions & translations
- Constraints in Computational Logics: Theory and Applications: International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures ( (2001)
- Constraints In Computational Logics: Theory And Applications: International Summer School, Ccl'99 Gif-sur-yvette, France, September 5-8, 1999 Revised Lectures ( (2001)
More by Jean-Pierre Jouannaud, Ralf Treinen (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Hubert Comon, Claude Marché, Ralf Treinen (eds.)
Similar books
- Constraints in Computational Logics: First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings (Lecture Notes in Computer Science) — Wayne Snyder (auth.), Jean-Pierre Jouannaud (1994)
- Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings — Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (1999)
- Progress in Artificial Intelligence: 9th Portuguese Conference on Artificial Intelligence, EPIA ’99 Évora, Portugal, September 21–24, 1999 Proceedings — P. Van Hentenryck, L. Michel, P. Laborie, W. Nuijten, J. Rogerie (auth.), Pedro Barahona, José J. Alferes (1999)
- Mathematical Foundations of Computer Science 1999: 24th International Symposium, MFCS’99 Szklarska Poręba, Poland, September 6–10,1999 Proceedings — Christiane Frougny (auth.), Mirosław Kutyłowski, Leszek Pacholski, Tomasz Wierzbicki (1999)
- Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings — Thomas Kropf (auth.), Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin (1999)
- Gesture-based communication in human-computer interaction : international Gesture Workshop, GW '99, Gif-sur-Yvette, France, March 17-19, 1999 : proceedings — Annelies Braffort , Rachid Gherbi , Sylvie Gibet , James Richardson , Daniel Teil (2000)