Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2002)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (6 chapters)
Keywords
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Constraints in Computational Logics: Theory and Applications
Book Subtitle: International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures
Editors: Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Hubert Comon, Claude Marché, Ralf Treinen
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-45406-3
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2001
Softcover ISBN: 978-3-540-41950-1Published: 18 April 2001
eBook ISBN: 978-3-540-45406-9Published: 06 August 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 316
Topics: Computer System Implementation, Software Engineering/Programming and Operating Systems, Mathematical Logic and Formal Languages, Artificial Intelligence, Logics and Meanings of Programs, Programming Techniques