文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | O18-39/K750 | 计算几何算法与实现 | 孔令德等编著 | 电子工业出版社 | 2017.08 |
| 2 | O18-39/S960 | 几何定理计算机证明 | 孙熙椿编著 | 科学出版社 | 2007 |
| 3 | O18-39/Z129 | 几何定理机器证明的几何不变量方法 | 张景中, 高小山, 周咸青著 | 科学出版社 | 2015.04 |
文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | O18-39/K750 | 计算几何算法与实现 | 孔令德等编著 | 电子工业出版社 | 2017.08 |
| 2 | O18-39/S960 | 几何定理计算机证明 | 孙熙椿编著 | 科学出版社 | 2007 |
| 3 | O18-39/Z129 | 几何定理机器证明的几何不变量方法 | 张景中, 高小山, 周咸青著 | 科学出版社 | 2015.04 |