文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 11 | K918.4/Y031.91 | 世界著名湖泊河流 | 闫琴 … [等] 编著 | 北京理工大学出版社 | 2013.04 |
| 12 | O171/Y849 | 分析基础机器证明系统 | 郁文生, 付尧顺, 郭礼权著 | 科学出版社 | 2022.01 |
| 13 | O144/Y849 | 公理化集合论机器证明系统 | 郁文生, 孙天宇, 付尧顺著 | 科学出版社 | 2020.03 |
| 14 | O62/F831 | 有机化学 | 主编付尧, 宗志远, 王丹丹 | 北京理工大学出版社 | 2018.08 |
文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 11 | K918.4/Y031.91 | 世界著名湖泊河流 | 闫琴 … [等] 编著 | 北京理工大学出版社 | 2013.04 |
| 12 | O171/Y849 | 分析基础机器证明系统 | 郁文生, 付尧顺, 郭礼权著 | 科学出版社 | 2022.01 |
| 13 | O144/Y849 | 公理化集合论机器证明系统 | 郁文生, 孙天宇, 付尧顺著 | 科学出版社 | 2020.03 |
| 14 | O62/F831 | 有机化学 | 主编付尧, 宗志远, 王丹丹 | 北京理工大学出版社 | 2018.08 |