山西大同大学图书馆书目检索系统

| 暂存书架(0) | 登录

MARC状态：审校 文献类型：中文图书 浏览次数：7

题名/责任者:
自动推理引论及其应用/周祥和等编译
出版发行项:
武汉:武汉大学出版社,1987
ISBN及定价:
7-307-00176-4/CNY2.45
载体形态项:
512页;19cm
个人责任者:
周祥和 编译
学科主题:
推理-数理逻辑
学科主题:
数理逻辑-推理
中图法分类号:
TP18
科图法分类号:
73.82
一般附注:
武汉大学教材
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
TP18/9 S035065   库本 库237800     可借
TP18/9 S046371   基本书库     可借
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
用户名：
密码：
验证码：
请输入下面显示的内容
  证件号 条码号 Email
 
姓名：
手机号：
送 书 地：
收藏到： 管理书架