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.).

Published: Berlin ; New York : Springer, [2001]
Copyright Date: ©2001
Physical Description: xii, 309 pages : illustrations ; 24 cm.
Additional Creators: Comon, Hubert, Marché, Claude, Treinen, Ralf, and ESPRIT CCL Working Group (2000 : Gif-sur-Yvette, France)