邵阳学院图书馆书目检索系统

| 暂存书架(0) | 登录

MARC状态：已编 文献类型：中文图书 浏览次数：2

题名/责任者:
是逻辑与机器证明/陆钟万编著
出版发行项:
北京:科学出版社,1983
ISBN及定价:
/￥1.15
载体形态项:
186页d32
丛编项:
计算机科学丛书
个人责任者:
陆钟万 编著
中图法分类号:
TP302
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
TP302/7 B0018278   L6楼密集书库（李子园） LL012664     可借 L6楼密集书库（李子园）
TP302/7 B0018279   L6楼密集书库（李子园） LL012665     可借 L6楼密集书库（李子园）
TP302/7 B0018280   L6楼密集书库（李子园） LL012667     可借 L6楼密集书库（李子园）
TP302/7 B0018281   L6楼密集书库（李子园） LL012666     可借 L6楼密集书库（李子园）
TP302/7 A0652118   七里坪八楼开架阅览室     阅览 七里坪八楼开架阅览室
显示全部馆藏信息
借阅趋势

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