| 暂存书架(0) | 登录

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

题名/责任者:
几何定理机器证明的基本原理.初等几何部分/吴文俊著
出版发行项:
北京:科学出版社,1984
ISBN及定价:
978-7-03-028377-1 精装/CNY65.00
载体形态项:
280页;21cm
其它题名:
初等几何部分
丛编项:
计算机科学丛书
个人责任者:
吴文俊 著
学科主题:
几何-定理证明-机器证明
中图法分类号:
O18
载体形态附注:
2010年8月第二次印刷, 页码234页, 尺寸25cm.
丛编附注:
2010年8月第二次印刷的丛书名是中国科学技术经典文库
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 定位
O18/6002 0349997   密集书库一     可借 定位
O18/6002 0349998   密集书库一     可借 定位
O18/6002 0359589   密集书库一     可借 定位
O18/6002 0369055   密集书库一     可借 定位
O18/6002 1739522   10楼南数、理科学借阅室     可借 定位
O18/6002 0114527   理科综合阅览室     保留本 定位
O18/6002 1739523   理科综合阅览室     保留本 定位
显示全部馆藏信息
借阅趋势

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