您的当前位置:全部分类图书 > 自然科学 > 数学 > 几何与拓扑

吴文俊全集--几何定理机器证明的基本原理(数学机械化卷Ⅳ)(精)

作者:吴文俊 出版社:龙门书局
定 价 128.00
售 价
配送至
浙江杭州
免邮费
收货地址
其他地址
请选择
请选择
请选择
北京
天津
河北
山西
内蒙古
辽宁
吉林
黑龙江
上海
江苏
浙江
安徽
福建
江西
山东
河南
湖北
湖南
广东
广西
海南
重庆
四川
贵州
云南
西藏
陕西
甘肃
青海
宁夏
新疆
销量 请登录后刷新查看
库存 请登录后刷新查看

收藏

服务
大家都在看
新品推荐
莱布尼兹微积分
¥61.60 | ¥88.00
几何之美
¥97.30 | ¥139.00
高等数学下册 第2版
¥33.60 | ¥42.00
点燃理性的火焰
¥53.04 | ¥78.00
从数学到哲学
¥85.76 | ¥128.00
  • 出版社:龙门书局
  • ISBN:9787508855530
  • 作者:吴文俊
  • 出版日期:2019-05-01
  • 印刷日期:2019-05-01
  • 包装:精装
  • 开本:16开
  • 版次:1
  • 印次:1