《分析基础机器证明系统(精)/数学机械化丛书》（郁文生//付尧顺//郭礼权|责编:王丽平|总主编:吴文俊） - 读书 - 博库网

分析基础机器证明系统(精)/数学机械化丛书

作者：郁文生//付尧顺//郭礼权|责编:... 出版社：科学

定　价	~~198.00~~
售　价	¥156.42

配送至	浙江杭州   免邮费收货地址其他地址请选择请选择请选择北京天津河北山西内蒙古辽宁吉林黑龙江上海江苏浙江安徽福建江西山东河南湖北湖南广东广西海南重庆四川贵州云南西藏陕西甘肃青海宁夏新疆
销量	请登录后刷新查看
库存	请登录后刷新查看

立即购买 加入购物车



服务	 正品保证  七天无理由退换货  赠送156积分

读书

进入首页一键开店

大家都在看

新品推荐

有效数学教学探索与实践

¥54.40 | ~~¥68.00~~

通俗数学分析选讲

¥56.94 | ~~¥78.00~~

组合数学及应用

¥46.40 | ~~¥58.00~~

应用概率统计(普及类第6版)

¥27.30 | ~~¥39.00~~

九章算术

¥55.30 | ~~¥79.00~~

图解博弈论：社会生活中的高级思维及生存策略

¥39.80 | ~~¥68.00~~

商品详情



请登录后查看更多信息