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