Hi, 欢迎访问门门
登录 | 注册
  • IOS
  • Android

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

查看全部商城
参考价:194.40元
历史最低价:¥172.8元
商品属性:
  • 出版日期:2024/5/1
  • 版次:第1版
  • 开本:b5
  • 页码:602
  • 出版社:科学
  • 丛书名:数学机械化丛书
  • 作者:郁文生
  • 中图法分类:tp181
  • isbn:9787030775450
在售商城
2
同款产品
2
最低价格
¥172.80
最高价格
¥216.00
中教图书
自然数的紧化延伸机器证明系统
查看详情
172.80
价格趋势
博库网
自然数的紧化延伸机器证明系统/数学机械化丛书
查看详情
216.00
价格趋势