当前位置:首页 > 名称
大约有4,000项符合查询结果项。(搜索耗时:0.0077秒)
为您推荐: 赵元任全集 第15卷 套装上下册 赵元任全集 第4卷 套装上下册 赵元任全集 赵元任 赵元任全集2 title亚里士多德全集 第4卷 精
-
-
吴文俊全集 数学机械化卷 4
吴文俊著;高小山编订2019 年出版234 页ISBN:9787508855530本卷是由吴文俊的书《几何定理机器证明的基本原理》组成的。本书可以作为数学与相关领域研究人员、教师、研究生的参考文献,也可以作为计算机数学的参考书。吴文俊先生是中国科学院院士,第三世界科学院院士,中...
-
-
-
-
-
-
-
-
学科分类