几何定理的机器证明,吴文俊著

【文件属性】：

文件名称：几何定理的机器证明,吴文俊著

文件大小：7.31MB

文件格式：RAR

更新时间：2012-03-05 03:37:04

机器证明

我国的原创,吴文俊著,初等集合部分,科学出版社

【文件预览】：
几何定理机器证明的基本原理（初等几何部分）（吴文俊）.pdf