• 首页
  • 本馆介绍
  • 公告通知
  • 最新文献
  • 馆藏检索
  • 电子资源
  • 读者导购
  • 参考咨询
  • 我的图书馆
  • 登录
  • 详细信息显示
  • 放入我的书架
  • 预约/预借图书
  • 作者相关作品
  • 分类相关作品
  • 丛书相关作品
  • 出版社相关作品

书目信息

  • 表格格式
  • 工作单格式
  • 卡片格式
题名:
几何定理计算机证明
    
 
作者: 孙熙椿 编著
分册:  
出版信息: 北京   科学出版社  2007
页数: 207页
开本: 24cm
丛书名:
单 册:
中图分类: O18-39
科图分类:
主题词: 计算机应用--Ji Suan Ji Ying Yong--几何学--定理证明 , 计算机应用--Ji Suan Ji Ying Yong--几何学--机器证明
电子资源:
ISBN: 978-7-03-015505-4
000 00866nam0 2200253 450
001 012007000001
010    @a978-7-03-015505-4@dCNY29.00
100    @a20070709d2007 em y0chiy0121 ea
101 0  @achi
102    @aCN@b110000
105    @aa a 000yy
106    @ar
200 1  @a几何定理计算机证明@AJi He Ding Li Ji Suan Ji Zheng Ming@f孙熙椿编著
210    @a北京@c科学出版社@d2007
215    @a207页@c图@d24cm
300    @a国家科学技术学术著作出版基金资助出版
320    @a有书目 (第206-207页)
330    @a本书主要讲述几何定理机器证明的发展概况、污文俊机械化方法、张景中消点算法、杨路降维算法等。
606 0  @a计算机应用@AJi Suan Ji Ying Yong@x几何学@x定理证明
606 0  @a计算机应用@AJi Suan Ji Ying Yong@x几何学@x机器证明
690    @aO18-39@v4
701  0 @a孙熙椿@ASun Xi Chun@4编著
801    @aCN@bNJHFBOOK@c20071201
905    @dO18-39@e2@f10
    
    几何定理计算机证明/孙熙椿编著.-北京:科学出版社,2007
    207页:图;24cm
    国家科学技术学术著作出版基金资助出版
    
    ISBN 978-7-03-015505-4:CNY29.00
    本书主要讲述几何定理机器证明的发展概况、污文俊机械化方法、张景中消点算法、杨路降维算法等。
●
相关链接


正题名:几何定理计算机证明     索取号:O18-39/2         预约/预借

序号 登录号 条形码 馆藏地/架位号 状态 备注
1 1273696   212736967   样本书库/4110080203/ [索取号:O18-39/2] 在馆    
2 1273697   212736976   理科库/ [索取号:O18-39/2] 在馆    
3 1273698   212736985   理科库/ [索取号:O18-39/2] 在馆    
4 1273699   212736994   理科库/ [索取号:O18-39/2] 在馆    
5 1273700   212737001   理科库/ [索取号:O18-39/2] 在馆    
6 1273701   212737010   理科库/ [索取号:O18-39/2] 在馆    
7 1273702   212737029   理科库/ [索取号:O18-39/2] 在馆    
8 1273703   212737038   理科库/3110531402/ [索取号:O18-39/2] 在馆    
9 1273704   212737047   理科库/3110531402/ [索取号:O18-39/2] 在馆    
10 1273705   212737056   理科库/3110531402/ [索取号:O18-39/2] 在馆    
商丘师范学院图书馆 欢迎您!
大连网信软件有限公司© 版权所有