您的当前位置:全部分类图书 > 自然科学 > 数学 > 数学理论

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

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

收藏

服务
  • 包装:精装
  • 出版社:科学
  • ISBN:9787030706713
  • 作者:郁文生//付尧顺//郭礼权|责编:王丽平|总主编:吴文俊
  • 页数:420
  • 出版日期:2022-01-01
  • 印刷日期:2022-01-01
  • 版次:1
  • 印次:1