文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | O171/Y849 | 分析基础机器证明系统 | 郁文生, 付尧顺, 郭礼权著 | 科学出版社 | 2022.01 |
| 2 | O144/Y849 | 公理化集合论机器证明系统 | 郁文生, 孙天宇, 付尧顺著 | 科学出版社 | 2020.03 |
文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | O171/Y849 | 分析基础机器证明系统 | 郁文生, 付尧顺, 郭礼权著 | 科学出版社 | 2022.01 |
| 2 | O144/Y849 | 公理化集合论机器证明系统 | 郁文生, 孙天宇, 付尧顺著 | 科学出版社 | 2020.03 |