当前位置：首页 > 名称
大约有10,000项符合查询结果项。（搜索耗时：0.0483秒）
为您推荐： 中国农业机械化科学研究院 实用机械设计手册 中国农业机械化研究院编著 press北京 中国农业机械出版社 中国水产科学研究院渔业机械仪器研究所编 农业部机械局 北京农业机械化学院农机化研究室
-
-
高等数学 机械类 上
何力争主编2009 年出版227 页ISBN：9787561226384本书主要内容包括极限与连续、导数与微分、不定积分、定积分及其应用、空间解析几何、多元函数微分学、多元函数积分学、级数、微分方程等。...
-
-
-
吴文俊全集 数学机械化卷 4
吴文俊著；高小山编订2019 年出版234 页ISBN：9787508855530本卷是由吴文俊的书《几何定理机器证明的基本原理》组成的。本书可以作为数学与相关领域研究人员、教师、研究生的参考文献，也可以作为计算机数学的参考书。吴文俊先生是中国科学院院士，第三世界科学院院士，中...
-
-
-
吴文俊全集 数学机械化 2
吴文俊著；高小山编订2019 年出版288 页ISBN：9787508855516本卷由吴文俊的书Machanical Theoren Provingin Goemetries组成。本书可作为数学与相关领域研究人员、教师、研究生的参考文献，也可以作为计算机数学的参考书。吴文俊,研究员,中国科学院数学与系统科学研究...
-
-
学科分类