ID:DA08589339
Conference "Constraints in Computational Logics"
International Conference CCL
同姓同名の著者を検索
Hubert Comon, Claude Marché, Ralf Treinen (eds.)
Springer c2001 Lecture notes in computer science 2002
所蔵館36館
Jean-Pierre Jouannaud (ed.)
Springer-Verlag c1994 Lecture notes in computer science 845
所蔵館58館