几何定理的机械化证明百度云网盘PDF下载

当前位置：首页 > 名称

图书搜索：

出版时间：

至

大约有507,957项符合查询结果项。（搜索耗时：0.6304秒）

为您推荐：几何定理机器证明的案例几何定理机器证明的基本原理挑战思维极限勾股定理的365种证明证明的故事从勾股定理到现代数学几何最著名24个定理证明及应用几何证明

模锻工的劳动组织和工作地组织、模锻工序的机械化

查看PDF目录购买本书
（苏）阿特拉申克（А.П.Атрошенко）著；林秀安，高乃光译1958 年出版31 页ISBN：T15033·833
水力发电站建筑中的水力机械化

查看PDF目录购买本书
苏联技术科学硕士 Б.A.沃洛宁著1956 年出版82 页ISBN：15036·288
建筑施工中繁重工程的机械化

查看PDF目录购买本书
（苏）巴森科（Н.Пащенко）著；袁哲译1956 年出版48 页ISBN：10007·8
发电厂检修工作的机械化

查看PDF目录购买本书
（苏）布罗尼科夫（А.И.Бронников）等著；余铭尧等译1958 年出版94 页ISBN：15143·1000
机械化支架与顶板的相互作用

查看PDF目录购买本书
（苏）奥尔洛夫（А.А.Орлов）著；芮素生译1983 年出版330 页ISBN：15035·2588
新时期农业机械化的一大创举

查看PDF目录购买本书
何涛清著2009 年出版113 页ISBN：9787811177091
本书共分为7个部分，分别阐述了改革促进了农业机械化的发展和变化，联合收割机跨区收麦的兴起和发展等。
Geometry of classical groups over finite fields Second Edition = 有限域上典型群的几何学第二版

查看PDF目录购买本书
Wan Zhexian2002 年出版446 页ISBN：7030105958
苏联农业耕作机械化新的发展概况

查看PDF目录购买本书
（苏）卡尔平柯，А.Н.著；朱华璋译1959 年出版37 页ISBN：16051·250
雷达信号处理的信息几何方法

查看PDF目录购买本书
黎湘，程永强，王宏强等著2014 年出版239 页ISBN：9787030367402
信息几何是近年来信息科学领域发展起来的一门新兴学科，是在黎曼流形上采用现代微分几何方法来研究统计学问题而提出的一套新的理论体系。信息几何将信息论与几何学方法相结合，为统计学问题和信息科学领域问题...
中国农业机械化面向21世纪的发展和对策

查看PDF目录购买本书
王晓方，申茂向主编1998 年出版68 页ISBN：