大约有2,000项符合查询结果项。(搜索耗时:0.0141秒)
为您推荐:
几何定理机器证明的案例
几何定理的机械化证明
几何最著名24个定理证明及应用
交互式定理证明与程序开发
拉克洛瓦 韦达定理 证明方法
几何证明
-
李乾亨1987 年出版546 页ISBN:7305001643
暂缺《马克思主义基本原理》简介
-
杨家珍主编;马宜章,李兵,李剑等副主编1994 年出版308 页ISBN:7810411128
-
宁效兰,龚廷泰主编;陈章龙,钟海涛副主编1990 年出版354 页ISBN:7504305987
-
张新伟主编2010 年出版193 页ISBN:7507532029
-
徐冲德主编;杜水伯,刘思融,石崇英副主编1987 年出版382 页ISBN:2299·013
-
曾广堂,陈尤龙1987 年出版395 页ISBN:7538201858
-
程志明,雷光明主编1987 年出版273 页ISBN:
-
陈燕,高树群主编2010 年出版86 页ISBN:9787541641391
-
曾广堂,陈尤龙主编1987 年出版386 页ISBN:7538201858
-
李晓娟,王金震主编2016 年出版177 页ISBN:7567742406