书目信息 机读格式(MARC)
Constraints in computational logics :
| ISBN： | 3-540-41950-0 |
|---|---|
| 编目源： | DLC DLC |
| 语种代码： | eng |
| 团体名称： | ESPRIT CCL Working Group |
| 题名： | 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 ; London : Springer, 2001. |
| 载体形态： | xii, 309 p. : ill. ; 24 cm. |
| 丛编说明： | Lecture notes in computer science, 0302-9743 ; 2002 |
| 书目附注： | Includes bibliographical references. |