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

当前位置：首页 > 名称

图书搜索：

出版时间：

至

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

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

露天矿剥离和采矿的水力机械化

查看PDF目录购买本书
（苏）尼科诺夫（Г.П.Никонов）著；北京矿业学院科学研究处译1958 年出版59 页ISBN：15035·658
高美里斯大林玻璃工厂的机械化加料经验

查看PDF目录购买本书
（苏）扎利兹那克（Д.В.Зализняк）著；殷龙珠译1958 年出版30 页ISBN：15040.967
码的重量谱有限射影几何方法

查看PDF目录购买本书
陈文德，刘子辉著2012 年出版259 页ISBN：9787312026270
码的重量谱（也称为广义汉明重量）是国际上1991年提出的新概念，在编码理论中有重要的基本理论意义，并在第二类窃密信道，码的格子复杂度分析，检错分析等方面有重要应用。作者与Klove教授合作提出用有限射影几何方法...
国外资料在大型刨床及铣床上缩短辅助工作及辅助工作机械化的指导资料的制定和工序结构的研究

查看PDF目录购买本书
第一机械工业部机械科学研究院译制1960 年出版55 页ISBN：
当代中国的农业机械化

查看PDF目录购买本书
《当代中国的农业机械化》编辑委员会编2009 年出版374 页ISBN：7801708458
《当代中国》丛书是由国家统一部署，动员全党、全军、全国各条战线的力量完成的鸿篇巨制，这本纪念册就是以浓缩的形式，图文并茂的再现了丛书的编撰、出版、发行过程。纪念册由盛世修史、巨大关怀、万人著书、国...
锻造生产中繁重过程的机械化

查看PDF目录购买本书
（苏）卡姆涅夫（П.В.Камнев），（苏）叶基莫夫（К.К.Екимов）著；杨荩臣译1957 年出版46 页ISBN：15033·740
生产的机械化 斯维尔德洛夫斯克运输机器制造厂的经验

查看PDF目录购买本书
（苏）杰基柯夫（М.Дедиков），（苏）沙贺塔林（Ю.Шахтарин）著；聂恒斌译1957 年出版22 页ISBN：15033·475
无线电设备元件制造的机械化与自动化

查看PDF目录购买本书
（苏联）м.г.帕尔湼斯1965 年出版457 页ISBN：
铸件清理及精整工作的机械化

查看PDF目录购买本书
（苏）索果洛夫（А.Н.Соколов），（苏）里勃尼茨基（А.М.Липницкий）著；王术，成钢译1963 年出版172 页ISBN：15165·2151（一机462）
纺织工业全盘机械化和自动化的方向

查看PDF目录购买本书
（苏）朱勃却尼诺夫等著；上海纺织科学研究院等译1960 年出版90 页ISBN：15041·546