Constraints in Computational Logics. Theory and Applications
Subtitle: International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures (Lecture Notes in Computer Science)
Contributors: Hubert Comon (Editor); Claude Marche (Editor); Ralf Treinen (Editor)
Edition: 1 edition
Publisher: Springer
Published: May 18, 2001
Language: eng
Format: Paperback
Number of pages: 309
ISBN-13: 9783540419501
Subjects: Computer Programming; Computer architecture & logic design; Science/Mathematics; Constraint programming (Computer science); Computers; Computers - Languages / Programming; Programming - Object Oriented Programming; Programming - General; General; Artificial Intelligence - General; Automated Deduction; Computational Logics; Constraint Logic Programming; Constraint Solving; Constraints; First-Order Logic; Mathematics / Logic; Theorem Proving; Constraint programming (Comput; Logic Programming
First sentence: The central idea of constraints is to compute with descriptions of data instead of to compute with data items.