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

公理化集合论机器证明系统(精)/数学机械化丛书

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

收藏

服务
  • 出版社:科学
  • ISBN:9787030640390
  • 作者:郁文生//孙天宇//付尧顺|责编:王丽平
  • 页数:293
  • 出版日期:2020-03-01
  • 印刷日期:2020-03-01
  • 包装:精装
  • 开本:16开
  • 版次:1
  • 印次:1
  • 字数:300千字