您的当前位置:全部分类图书 > 工业技术 > 自动化技术 > 自动化技术及设备

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

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

收藏

服务
  • 包装:平装
  • 出版社:科学
  • ISBN:9787030775450
  • 作者:郁文生//窦国威|总主编:吴文俊
  • 页数:573
  • 出版日期:2024-05-01
  • 印刷日期:2024-05-01
  • 开本:16开
  • 版次:1
  • 印次:1
  • 字数:756千字