大约有3,518项符合查询结果项。(搜索耗时:0.0511秒)
为您推荐:
几何定理机器证明的案例
分析基础机器证明系统
几何定理机器证明的基本原理
不等式机器证明与自动发现
方程求解与机器证明
证明责任论
-
机械工业杂志编辑部编1956 年出版72 页ISBN:
-
童乐工作室编2005 年出版31 页ISBN:7539728744
-
谢存禧,张铁主编2005 年出版187 页ISBN:7111171217
本书介绍了机器人的研究和应用现状,机器人人体的结构原理和特点等。
-
陈家珠等编写;《上海机器业工人运动史》编委会编1991 年出版365 页ISBN:7800233642
-
黑龙江省农业机械化学校主编1992 年出版348 页ISBN:7109020509
全国中等农业学校教材 农业机械化专业用:本书讲述了拖拉机、汽车故障形成的原因及其预防,零件的磨损与损怀;拖拉机、汽车发动机和底盘的修理工艺、主要零件的修复工艺。...
-
韩立江主编2004 年出版340 页ISBN:7502548831
本书介绍了工业生产中常用的机器和设备的工作原理、结构特点、检修技术故障分析、处理。
-
马隆著,蔡承志译2006 年出版200 页ISBN:986741599X
-
(美)戈登·麦库姆(Gordon McComb)著;原魁,房立新等译2006 年出版251 页ISBN:711118226X
本书包括材料,工具重量的分配紧固系统等知识。
-
庞文元,雷经编著1958 年出版153 页ISBN:15033·1376
-
机械工业杂志编辑部编辑1956 年出版96 页ISBN: