文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 | 预约/借 |
| 1 | TP391.7/13 | 高阶逻辑辅助证明系统 | (德) 托比亚斯·尼普科夫, (英) 劳伦斯·鲍 | 北京理工大学出版社 | 2013.05 | 预约/借 |
| 2 | O158/4 | 离散数学 | 陈光喜,丁宣浩,古天龙编著 | 电子工业出版社 | 2008.01 | 预约/借 |
文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 | 预约/借 |
| 1 | TP391.7/13 | 高阶逻辑辅助证明系统 | (德) 托比亚斯·尼普科夫, (英) 劳伦斯·鲍 | 北京理工大学出版社 | 2013.05 | 预约/借 |
| 2 | O158/4 | 离散数学 | 陈光喜,丁宣浩,古天龙编著 | 电子工业出版社 | 2008.01 | 预约/借 |