当前位置：首页 > 名称
大约有2,000项符合查询结果项。（搜索耗时：0.0118秒）
为您推荐： title笑傲江湖 共4册 金庸作品集 title笑傲江湖 共4册 金庸全集作品集 title笑傲江湖 共4册新修版 金庸作品集 title倚天屠龙记 共4册 金庸作品集 金庸作品集笑傲江湖漫画版 套装共13册 title射雕英雄传 共4册 金庸作品集
-
-
-
-
-
-
-
-
吴文俊全集 数学机械化卷 4
吴文俊著；高小山编订2019 年出版234 页ISBN：9787508855530本卷是由吴文俊的书《几何定理机器证明的基本原理》组成的。本书可以作为数学与相关领域研究人员、教师、研究生的参考文献，也可以作为计算机数学的参考书。吴文俊先生是中国科学院院士，第三世界科学院院士，中...
-
-
学科分类