相关推荐 更多>
-
- 几何定理机器证明的基本原理：初等几何部分
- 作者：吴文俊（著）
- 馆藏单位：浙江大学
- 出版时间：1984-08
- 资源类型：当代图书
-
- Grobner基方法与吴方法在几何定理机器证明中的应用与比较(平面几何部分)
- 作者：刘艳
- 馆藏单位：北京师范大学
- 出版时间：2000-05-18
- 资源类型：当代学位论文
-
- 几何定理机器证明的基本原理
- 作者：吴文俊（著）
- 馆藏单位：复旦大学
- 出版时间：1984.8
- 资源类型：当代图书