当前位置:首页 > TAG信息列表 > 机械化
机械化
-
农产品生产机械化系列 油菜生产机械化技术
廖庆喜著2018 年出版86 页ISBN:9787030563569《油菜生产机械化技术》从油菜生产实践出发,以油菜生产全程机械化为主线,由浅入深,针对性强,系统介绍了油菜生产及机械化发展概况,油菜种植、收获及产后加工处理的相关机械化技术与先进适用装备,油菜机械化生产农...
-
吴文俊全集 数学机械化 2
吴文俊著;高小山编订2019 年出版288 页ISBN:9787508855516本卷由吴文俊的书Machanical Theoren Provingin Goemetries组成。本书可作为数学与相关领域研究人员、教师、研究生的参考文献,也可以作为计算机数学的参考书。吴文俊,研究员,中国科学院数学与系统科学研究...
-
吴文俊全集 数学机械化卷 4
吴文俊著;高小山编订2019 年出版234 页ISBN:9787508855530本卷是由吴文俊的书《几何定理机器证明的基本原理》组成的。本书可以作为数学与相关领域研究人员、教师、研究生的参考文献,也可以作为计算机数学的参考书。吴文俊先生是中国科学院院士,第三世界科学院院士,中...