机械化数学引论
删除本页内容作者:石赫著
关键词:数学理论(学科: 研究) 机器证明(学科: 研究)
页数:225
出版社: 长沙：湖南教育出版社
出版日期:1998.12
本书2023年3月14日可阅读或下载
机械化数学引论
数学理论(学科: 研究) 机器证明(学科: 研究)
留言内容
发布留言
用户须知：
1.如果要找《机械化数学引论》，可以尝试去图书馆。
2.本页面文字和图片内容来自于http://m.5read.com/。
3.封皮图片地址:https://unicover.duxiu.com/coverNew/CoverNew.dll?iid=646462676C686265636B59A6A69F9C95A594A5AC59643130393133343733