-
西文图书1.Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, Septe O18-53/IWA
馆藏复本:1
可借复本:1 Jürgen Richter-Gebert, Dongming Wang (eds.).
Springer, c2001.
(0) 馆藏
馆藏复本:1
可借复本:1 Jürgen Richter-Gebert, Dongming Wang (eds.).
Springer, c2001.
(0) 馆藏