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

自然数的紧化延伸机器证明系统

中教图书
价格:172.80元
商品属性:
  • 出版日期:2024/5/1
  • 版次:第1版
  • 开本:b5
  • 页码:602
  • 出版社:科学
  • 丛书名:数学机械化丛书
  • 作者:郁文生
  • 中图法分类:tp181
  • isbn:9787030775450
价格趋势

该商城历史价格

当前商城现价172.80

历史最低价172.80(2024-12-25)

历史最高价172.80(2024-12-25)

详细参数
  • 出版日期2024/5/1
  • 版次第1版
  • 开本b5
  • 页码602
  • 出版社科学
  • 丛书名数学机械化丛书
  • 作者郁文生
  • 中图法分类tp181
  • isbn9787030775450