-
中文图书1.计算几何算法与实现:Visual C++版 O18-39/1282
馆藏复本:2
可借复本:2 孔令德等编著
电子工业出版社 2017
(0) 馆藏 -
中文图书2.几何定理机器证明的几何不变量方法 O18-39/1265/ 1
馆藏复本:1
可借复本:1 张景中, 高小山, 周咸青著
科学出版社 2015
(0) 馆藏 -
中文图书3.几何定理计算机证明 O18-39/1975
馆藏复本:5
可借复本:4 孙熙椿编著
科学出版社 2007
(0) 馆藏 -
中文图书4.动态几何教程 O18-39/1265
馆藏复本:3
可借复本:2 张景中, 彭翕成著
科学出版社 2007
(0) 馆藏