文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | O1-53/W882-2:1 | 吴文俊全集 | 吴文俊著 | 科学出版社 | 2019.05 |
| 2 | O1-53/W882 | 吴文俊全集 | 吴文俊著 | 科学出版社 | 2019.05 |
| 3 | O18/W880 | 几何定理机器证明的基本原理 | 吴文俊著 | 科学出版社 | 1984 |
文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | O1-53/W882-2:1 | 吴文俊全集 | 吴文俊著 | 科学出版社 | 2019.05 |
| 2 | O1-53/W882 | 吴文俊全集 | 吴文俊著 | 科学出版社 | 2019.05 |
| 3 | O18/W880 | 几何定理机器证明的基本原理 | 吴文俊著 | 科学出版社 | 1984 |