-
西文图书1.Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 20 TP18-53/IJC
馆藏复本:1
可借复本:1 Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.).
Springer, c2001.
(0) 馆藏
馆藏复本:1
可借复本:1 Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.).
Springer, c2001.
(0) 馆藏