| 暂存书架(0) | 登录

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

题名/责任者:
几何定理机器证明的基本原理:初等几何部分/吴文俊著
出版发行项:
北京:科学出版社,1984
ISBN及定价:
/CNY2.45
载体形态项:
280页;20cm
丛编项:
计算机科学丛书
个人责任者:
吴文俊
学科主题:
定理证明:机器证明-几何
学科主题:
机器证明:定理证明-几何
学科主题:
几何-定理证明:机器证明
中图法分类号:
O18
科图法分类号:
51.5
随书光盘:
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
O18/9 E0008643   东6层3区      可借
O18/9 E0086863   东6层3区      保留本
O18/9 E0008642   (东)四层(405)中文闭架库      赠送出
显示全部馆藏信息
借阅趋势

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