《自然数的紧化延伸机器证明系统/数学机械化丛书》（郁文生//窦国威|总主编:吴文俊） - 文心书店 - 博库网

自然数的紧化延伸机器证明系统/数学机械化丛书

作者：郁文生//窦国威|总主编:吴文俊出版社：科学

定　价	~~288.00~~
售　价	¥216.00

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

立即购买 加入购物车



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

文心书店

进入首页一键开店

新品推荐

Proxmox VE部署与管理指南

¥66.75 | ~~¥89.00~~

基于碳量子点的荧光传感

¥72.52 | ~~¥98.00~~

智能系统远程运维技术

¥94.72 | ~~¥128.00~~

自主AI设计：方法与实践

¥74.25 | ~~¥99.00~~

工业机器人自动化生产线集成与运维

¥56.25 | ~~¥75.00~~

动手学图机器学习

¥102.40 | ~~¥128.00~~

商品详情



请登录后查看更多信息