Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design
|
Buy Now
Constraints in Computational Logics: Theory and Applications - International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures (Paperback, 2001 ed.)
Loot Price: R1,677
Discovery Miles 16 770
|
|
Constraints in Computational Logics: Theory and Applications - International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures (Paperback, 2001 ed.)
Series: Lecture Notes in Computer Science, 2002
Expected to ship within 10 - 15 working days
|
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.
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|