王者之路 机器证明及其应用删除本页内容

作者:吴文俊主编

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

页数:195

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

出版日期:1999.12

发现时间:2023年3月14日 11:38



用户须知:

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

2.本页面内容来自于http://m.5read.com/。


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

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

评论内容
发表评论