-
中文图书1.吴文俊全集,数学机械化卷.Ⅳ,Mathematics mechanization.Ⅳ,几何定理机器证明的基本原理 O1/105:2.4
馆藏复本:2
可借复本:2 吴文俊著
龙门书局 2019
(0) 馆藏 -
中文图书2.几何定理机器证明的基本原理,初等几何部分 O18-39/1
馆藏复本:3
可借复本:3 吴文俊著
科学出版社 1984
(0) 馆藏
馆藏复本:2
可借复本:2 吴文俊著
龙门书局 2019
(0) 馆藏
馆藏复本:3
可借复本:3 吴文俊著
科学出版社 1984
(0) 馆藏