大约有30,000项符合查询结果项。(搜索耗时:0.0520秒)
为您推荐:
几何定理机器证明的案例
几何定理的机械化证明
几何最著名24个定理证明及应用
交互式定理证明与程序开发
拉克洛瓦 韦达定理 证明方法
几何证明
-
中尾良一,小宫山通子著;刘彤云译1996 年出版220 页ISBN:9575296389
-
李健著2017 年出版146 页ISBN:7117241397
-
(苏)莫史科夫(В.Н.Мошков)著;凌治镛译1958 年出版203 页ISBN:14048·1526
-
(英)约翰·C·贝内特,理查德·P·麦克劳克林编著;张栋梁主译2018 年出版276 页ISBN:7559108302
-
-
杨继彰编著1959 年出版336 页ISBN:14119·763
-
李寿祺主编1987 年出版512 页ISBN:7536403674
-
邓中甲编著2015 年出版121 页ISBN:7117199551
-
美 F.H.阿蒂克斯 W.C.罗奇1981 年出版413 页ISBN:15175·259
-
王宏凯主编2013 年出版208 页ISBN:9787513212151
本书运用现代医学的思维方式和习惯,开创性地采用“以病统条”模式,按照现代医学对疾病的理解,对《伤寒论》的条纹进行归类,使原文的条理变得清晰明了。...