《方程求解与机器证明--基于MMP的问题求解(精)/数学机械化丛书》（高小山//王定康//裘宗燕//杨宏|） - 博库体验店 - 博库网

方程求解与机器证明--基于MMP的问题求解(精)/数学机械化丛书

作者：高小山//王定康//裘宗燕//杨宏| 出版社：科学

定　价	~~118.00~~
售　价	¥89.68

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

目前缺货



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

博库体验店

进入首页一键开店

新品推荐

电力工程基础第2版

¥52.00 | ~~¥65.00~~

化工原理实验

¥24.00 | ~~¥30.00~~

导游英语情景口语（第三版）

¥47.20 | ~~¥59.00~~

中央空调安装、清洗及维修从入门到精通

¥73.26 | ~~¥99.00~~

化学反应工程简明教程(李常艳 )

¥38.40 | ~~¥48.00~~

化工专业基础实验(陈强)

¥23.92 | ~~¥29.90~~

商品详情



请登录后查看更多信息