自然数的紧化延伸机器证明系统/数学机械化丛书
参考价:194.40元 历史最低价:¥172.8元
- 出版日期:2024/5/1
- 版次:第1版
- 开本:b5
- 页码:602
- 出版社:科学
- 丛书名:数学机械化丛书
- 作者:郁文生
- 中图法分类:tp181
- isbn:9787030775450
自然数的紧化延伸机器证明系统
查看详情
¥172.80
自然数的紧化延伸机器证明系统/数学机械化丛书
查看详情
¥216.00
- 出版日期2024/5/1
- 版次第1版
- 开本b5
- 页码602
- 出版社科学
- 丛书名数学机械化丛书
- 作者郁文生
- 中图法分类tp181
- isbn9787030775450