Constraints in computational logics : theory and applications : International Summer School, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999 : revised lectures

書誌事項

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

(Lecture notes in computer science, 2002)

Springer, c2001

大学図書館所蔵 件 / 36

この図書・雑誌をさがす

注記

"LNCS2002, Tutorial"--On cover

Includes bibliographies

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ