大约有5,144项符合查询结果项。（搜索耗时：0.0803秒）
为您推荐：
几何定理机器证明的基本原理
几何定理机器证明的案例
几何定理的机械化证明
几何三角法证明
三角法证明几何
几何最著名24个定理证明及应用
-
马立峰编著1981 年出版245 页ISBN：15169·3163
-
李华敏等编著1985 年出版339 页ISBN：15033·5988
-
汪良材等编著1980 年出版238 页ISBN：7173·419
-
左文魁，冷德良编1989 年出版406 页ISBN：7810202278
-
徐任吾，吴文俊著1948 年出版408 页ISBN：
-
吴启贵等选编1989 年出版430 页ISBN：7532002063
暂缺《中学数学教学文选：立体几何》简介
-
黄振云，杨？勋编1983 年出版209 页ISBN：7284·137
-
胡世荣，郭琼编1989 年出版267 页ISBN：7536610599
本手册汇集了采购工作的一些基本常识以及陕西地区大、中型工商企业的基本概况。
-
谭光宙等编著1989 年出版224 页ISBN：7303003770
-
牛兴文编2005 年出版405 页ISBN：7502572570
本书介绍了逻辑和集合论的基本概念、用向量和矩阵的观点复习平面解析几何、从几何中提出问题、用矩阵方法给出解决。
