検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 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.) T2 Lecture notes in computer science A1 CCL A1 Comon, Hubert A1 Marché, Claude A1 Treinen, Ralf YR 2001 FD c2001 SP xii, 309 p. K1 Constraint programming (Computer science) K1 Logic programming PB Springer PP Berlin SN 3540419500 LA English (英語) CL LCC:QA76.612 NO "LNCS2002, Tutorial"--On cover NO Includes bibliographical references NO 書誌ID=1001263446; NCID=BA5180940X; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001263446 OL 30