文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | O141/W192 | 数理逻辑引论与归结原理 | Guo-jun Wang, Hong-jun Zhou | 科学出版社 | 2009.05 |
| 2 | TP3/W082 | 新手学电脑从入门到精通 | 汪宗健, 周红军, 刘斌等编著 | 清华大学出版社 | 2008 |
文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | O141/W192 | 数理逻辑引论与归结原理 | Guo-jun Wang, Hong-jun Zhou | 科学出版社 | 2009.05 |
| 2 | TP3/W082 | 新手学电脑从入门到精通 | 汪宗健, 周红军, 刘斌等编著 | 清华大学出版社 | 2008 |