大约有5,000项符合查询结果项。（搜索耗时：0.0177秒）
为您推荐：
几何定理机器证明的基本原理
几何定理机器证明的案例
几何最著名24个定理证明及应用
交互式定理证明与程序开发
拉克洛瓦 韦达定理 证明方法
几何证明
-
洪钧编1986 年出版77 页ISBN：13300·34
-
1960 年出版125 页ISBN：15044·4344
-
（苏）葛罗杰茨基（И.А.Гродецкий）著；童大埙等译1956 年出版84 页ISBN：
-
（苏）鲁克扬钦科（П.З.Лукьянченко）著；柳克令译1955 年出版166 页ISBN：1075京
-
（苏）奥耳费利叶夫（М.А.Олферьев）著；童大埙译1957 年出版30 页ISBN：
-
张文治编著1957 年出版50 页ISBN：15044·6109京
-
（苏）伊凡庆果（И.А.Иванченко）等撰；顾懋勋译1956 年出版186 页ISBN：15043·624
-
（苏）费德洛夫著；中华人民共和国交通部公路总局译1955 年出版22 页ISBN：
-
一九五六年全国铁路科学工作会议论文编审委员会编辑1958 年出版26 页ISBN：15043·446
-
（苏）弗列依德孙，И.Р.著；秦恨石，黄百钰译1959 年出版421 页ISBN：15033·1905
