Constraints in computational logics : theory and applications : international summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999, revised lectures
Hubert Comon, Claude Marché, Ralf Treinen (eds.)
- Berlin Springer c2001
- xii, 309 p. : ill. ; 24 cm
Lectures at the summer school organized by the ESPRIT CCL Working Group in Gif-sur-Yvette, France, September 1999. Includes bibliographical references