Record:   Prev Next
書名 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 ; New York : Springer-Verlag, 2001
國際標準書號 3540419500 (pbk. : alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.1 C7583 1999  LNCS 2002    館內使用    30330000010608
 數學所圖書室  QA75.5 .L42  v.2002    在架上    30340200422792
說明 xii, 309 p. : ill. ; 24 cm
系列 Lecture notes in computer science ; 2002
附註 Lectures at the summer school organized by the ESPRIT CCL Working Group in Gif-sur-Yvette, France, September 5-8, 1999
Includes bibliographical references
Also available online
主題 Constraint programming (Computer science)
Logic programming
Computational logic iis
Logic programming iis
Alt Author Comon, Hubert
Marché, Claude
Treinen, Ralf
CCL'99 (1999 : Gif-sur-Yvette, France)
ESPRIT CCL Working Group
Alt Title CCL'99
Record:   Prev Next