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

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

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

定　价	~~288.00~~
售　价	¥216.00

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

立即购买 加入购物车



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

文心书店

进入首页一键开店

新品推荐

Proxmox VE部署与管理指南

¥66.75 | ~~¥89.00~~

智能控制技术及其应用

¥66.75 | ~~¥89.00~~

ENVI 遥感图像处理方法(第三版)

¥67.64 | ~~¥89.00~~

物联网智慧农业系统集成和应用（初级）

¥26.25 | ~~¥35.00~~

制冷空调技术与控制原理研究

¥46.92 | ~~¥68.00~~

智能传感与检测技术

¥39.84 | ~~¥49.80~~

商品详情



请登录后查看更多信息