您的当前位置:全部分类图书 > 教材 > 研究生/本科/专科教材 > 公共课

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

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

收藏

服务
  • 出版社:科学
  • ISBN:9787030178626
  • 作者:高小山//王定康//裘宗燕//杨宏|
  • 页数:279
  • 出版日期:2006-09-01
  • 印刷日期:2016-03-01
  • 包装:精装
  • 开本:16开
  • 版次:1
  • 印次:2
  • 字数:342千字