王者之路 机器证明及其应用删除本页内容
作者:吴文俊主编
关键词:数学理论(学科: 研究) 机器证明(学科: 研究)
页数:195
出版社: 长沙：湖南科学技术出版社
出版日期:1999.12
发现时间:2023年3月14日 11:38
用户须知：
1.如果要找《王者之路 机器证明及其应用》，可以尝试去图书馆。
2.本页面内容来自于http://m.5read.com/。
王者之路 机器证明及其应用
数学理论(学科: 研究) 机器证明(学科: 研究)
评论内容
发表评论