| 暂存书架(0) | 登录

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

题名/责任者:
定理机器证明/刘叙华, 姜云飞编著
出版发行项:
北京:科学出版社,1987
载体形态项:
280页:图;19cm
个人责任者:
姜云飞 编著
个人责任者:
刘叙华 编著
学科主题:
证明-定理
中图法分类号:
TP18
书目附注:
有书目 (第280页)
随书光盘:
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
TP18/11 E0030117   东6层4区      可借
TP18/11 E0164209   东6层4区      保留本
TP18/11 01328203   (东)下架室      分馆藏书
TP18/11 E0030116   (东)三层外借库      可借
显示全部馆藏信息
借阅趋势

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