大庆师范学院图书馆书目检索系统

| 暂存书架(0) | 登录

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

题名/责任者:
几何定理计算机证明/孙熙椿编著
出版发行项:
北京:科学出版社,2007
ISBN及定价:
978-7-03-015505-4/CNY29.00
载体形态项:
207页;24cm
个人责任者:
孙熙椿 编著
学科主题:
计算机应用-几何学-定理证明
中图法分类号:
O18-39
一般附注:
国家科学技术学术著作出版基金资助出版
提要文摘附注:
本书主要讲述几何定理机器证明的发展概况、吴文俊机械化方法、张景中消点算法、杨路降维算法等。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态
O18/S95 00647099   语言、自然科学阅览室     可借
O18/S95 00647100   语言、自然科学阅览室     可借
O18/S95 00647098   样本书阅览室     可借
显示全部馆藏信息
CADAL相关电子图书
借阅趋势

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