文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | O1-53/18:2(4) | 吴文俊全集 | 吴文俊著 | 科学出版社 | 2019 |
| 2 | O18-39/2 | 几何定理计算机证明 | 孙熙椿编著 | 科学出版社 | 2007 |
| 3 | O175.14/1 | 非线性代数方程组与定理机器证明 | 杨 路等 著 | 上海科技教育出版社 | 1996.09 |
文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | O1-53/18:2(4) | 吴文俊全集 | 吴文俊著 | 科学出版社 | 2019 |
| 2 | O18-39/2 | 几何定理计算机证明 | 孙熙椿编著 | 科学出版社 | 2007 |
| 3 | O175.14/1 | 非线性代数方程组与定理机器证明 | 杨 路等 著 | 上海科技教育出版社 | 1996.09 |