-
西文图书1.Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 20 TP182/A939
馆藏复本:1
可借复本:1 IJCAR 2001
Springer, c2001.
(0) 馆藏
馆藏复本:1
可借复本:1 IJCAR 2001
Springer, c2001.
(0) 馆藏