文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | B812.4/1 | 论证是一门学问 | (美)安东尼·韦斯顿著;姜昊骞译 | 天地出版社 | 2019 |
| 2 | O1-53/18:2(4) | 吴文俊全集 | 吴文俊著 | 科学出版社 | 2019 |
| 3 | O18-39/2 | 几何定理计算机证明 | 孙熙椿编著 | 科学出版社 | 2007 |
| 4 | D915.130.1/1 | 诉讼证明原理 | 吴宏耀,魏晓娜著 | 法律出版社 | 2002.11 |
| 5 | O1-0/25 | 王者之路 | 吴文俊主编 | 湖南科学技术出版社 | 1999 |
| 6 | O156/22 | 机械化数学引论 | 石 赫著 | 湖南教育出版社 | 1998.12 |
| 7 | O175.14/1 | 非线性代数方程组与定理机器证明 | 杨 路等 著 | 上海科技教育出版社 | 1996.09 |