文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | O122.2/G190 | 方程求解与机器证明 | 高小山著 | 科学出版社 | 2006.09 |
| 2 | O18-39/Z129 | 几何定理机器证明的几何不变量方法 | 张景中, 高小山, 周咸青著 | 科学出版社 | 2015.04 |
文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | O122.2/G190 | 方程求解与机器证明 | 高小山著 | 科学出版社 | 2006.09 |
| 2 | O18-39/Z129 | 几何定理机器证明的几何不变量方法 | 张景中, 高小山, 周咸青著 | 科学出版社 | 2015.04 |