close
1.

図書
図書
1. 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 : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2002
所蔵情報: loading…
2.

図書
図書
2. Constraints in computational logics : first International Conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings
Jean-Pierre Jouannaud (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 845
所蔵情報: loading…