By Frédéric Benhamou (auth.), Andreas Podelski (eds.)
This booklet comprises completely revised types of the papers awarded on the 1994 Châtillon Spring university held in might 1994. This spring college used to be the twenty second occasion in a chain of complex seminars providing vital new parts of analysis to the theoretical machine technology community.
The interdisciplinary zone of constraint (logic) programming and constraint-based platforms has lately built a discernible id, that's promising either when it comes to basic and normal foundations and by way of major functional purposes. The 15 papers awarded during this quantity make the recent quarter available to all machine scientists and record the cutting-edge during this fascinating new box, relatively within the subfield of constraint good judgment programming.
Read or Download Constraint Programming: Basics and Trends: 1994 Châtillon Spring School Châtillon-sur-Seine, France, May 16–20, 1994 Selected Papers PDF
Best Programming books
Computability and complexity conception can be of primary situation to practitioners in addition to theorists. regrettably, even if, the sector is understood for its impenetrability. Neil Jones's objective as an educator and writer is to construct a bridge among computability and complexity idea and different components of machine technological know-how, specially programming.
October 28-31, 1991, San Diego, California formerly known as The North American convention, the 1991 overseas Symposium enhances the overseas convention on common sense Programming held each year in June. either are subsidized via the organization for common sense Programming. subject matters lined: Foundations.
Additional info for Constraint Programming: Basics and Trends: 1994 Châtillon Spring School Châtillon-sur-Seine, France, May 16–20, 1994 Selected Papers