×
几何定理机器证明的基本原理-(初等几何部分)

包邮几何定理机器证明的基本原理-(初等几何部分)

1星价 ¥42.3 (6.5折)
2星价￥42.3 定价￥65.0
在书中重启人生|阅读盲盒42.3包邮
复工充电|满5本折上7折
中华书局图书专场|每满79减20
本类榜单：工业技术
所属丛书： 中国科学技术经典文库
分类：工业技术 > 机械仪表工业 > 机械学（机械设计基础理论）
暂无评论
中图网萌新选书指北
书友线下严选 销量榜TOP200
坐下聊聊心里话：访谈与书信选
活出我人生：女性主义作品精选
不止魔幻：拉美文学世界
图文详情
  • ISBN：9787030283771
  • 装帧：暂无
  • 册数：暂无
  • 重量：暂无
  • 开本：16开
  • 页数：暂无
  • 出版时间：1984-08-01
  • 条形码：9787030283771 ; 978-7-03-028377-1

节选

1984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机械化证明的基本原理

本类五星书
更多>>
浏览历史
本类畅销

预估到手价 ×

预估到手价是按参与促销活动、以最优惠的购买方案计算出的价格（不含优惠券部分），仅供参考，未必等同于实际到手价。

确定
客服
收藏
购物车
缺货
快速
导航