文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 11 | O1-53/W882-2:1 | 吴文俊全集 | 吴文俊著 | 科学出版社 | 2019.05 |
| 12 | O189.3/W880 | 可剖形在欧氏空间中的实现问题 | 吴文俊著 | 科学出版社 | 2010.08 |
| 13 | O18/W880 | 几何定理机器证明的基本原理 | 吴文俊著 | 科学出版社 | 1984 |
| 14 | O156.2/Z021 | 实域论 | 曾广兴著 | 科学出版社 | 2003.12 |
文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 11 | O1-53/W882-2:1 | 吴文俊全集 | 吴文俊著 | 科学出版社 | 2019.05 |
| 12 | O189.3/W880 | 可剖形在欧氏空间中的实现问题 | 吴文俊著 | 科学出版社 | 2010.08 |
| 13 | O18/W880 | 几何定理机器证明的基本原理 | 吴文俊著 | 科学出版社 | 1984 |
| 14 | O156.2/Z021 | 实域论 | 曾广兴著 | 科学出版社 | 2003.12 |