MARC状态:已编 文献类型:中文图书 浏览次数:26
- 题名/责任者:
- 基于归结方法的自动推理/刘叙华著
- 出版发行项:
- 北京:科学出版社,1994.2
- ISBN及定价:
- 7-03-003927-0/¥16.90
- 载体形态项:
- 499页;20cm
- 个人责任者:
- 刘叙华著 著
- 中图法分类号:
- TP301
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
TP301/082 | 70276838 | 文一密集(批次1)(非可借) | 非可借 | |
TP301/082 | 70276839 | 文一密集(批次1)(非可借) | 非可借 | |
TP301/082 | 70276837 | 样本书阅览室(密集书库136) | 非可借 |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到: 管理书架