搜索：几何定理机器证明的基本原理
几何定理机器证明的基本原理 初等几何部分
文件大小：8MB 标注页数：234页 文件页数：246页
MD5：8588269683d3e99d917becd6182c99e2
ISBN：9787030283771
出版社：北京：科学出版社
作者：吴文俊著
出版时间：2010
几何定理机器证明的基本原理 初等几何部分
文件大小：8MB 标注页数：280页 文件页数：295页
MD5：41ea27628b8388ef4393a4b2a142759d
ISBN：15031·586
出版社：北京：科学出版社
作者：吴文俊著
出版时间：1984