王者之路 机器证明及其应用

删除本页内容

作者:吴文俊主编

关键词:数学理论(学科: 研究) 机器证明(学科: 研究)

页数:195

出版社: 长沙:湖南科学技术出版社

出版日期:1999.12

本书2023年3月14日可阅读或下载


王者之路 机器证明及其应用

数学理论(学科: 研究) 机器证明(学科: 研究)

留言内容
发布留言


用户须知:

1.如果要找《王者之路 机器证明及其应用》,可以尝试去图书馆。

2.本页面文字和图片内容来自于http://m.5read.com/。

3.封皮图片地址:https://unicover.duxiu.com/coverNew/CoverNew.dll?iid=6261606563626066666157A4A49D9A93A392A3AA57623135353736383531

王者之路 机器证明及其应用.pdf

王者之路 机器证明及其应用.docx