-
西文图书1.Constraints in computational logics : theory and applications : international summer school, CCL'99, TP3-53/CCL
馆藏复本:1
可借复本:1 Hubert Comon, Claude Marche, Ralf Treinen (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书2.Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, I O141-53/FCS
馆藏复本:1
可借复本:1 Alessandro Armando (ed.).
Springer, c2002.
(0) 馆藏