-
中文图书1.挑战思维极限:勾股定理的365种证明 O123.3/4
馆藏复本:3
可借复本:2 李迈新编著
清华大学出版社 2016
(0) 馆藏
-
中文图书2.论初等几何定理的机器证明与消去法 O123/20
馆藏复本:3
可借复本:2 朱望规著
国防工业出版社 2016
(0) 馆藏
馆藏复本:3
可借复本:2 李迈新编著
清华大学出版社 2016
(0) 馆藏
馆藏复本:3
可借复本:2 朱望规著
国防工业出版社 2016
(0) 馆藏