大约有3,518项符合查询结果项。（搜索耗时：0.0527秒）
为您推荐：
几何定理机器证明的案例
分析基础机器证明系统
几何定理机器证明的基本原理
不等式机器证明与自动发现
方程求解与机器证明
证明责任论
-
傅前哨编著2013 年出版271 页ISBN：9787506565141
本书针对世界范围内各国已经研制成功和正在研制的空战军用机器人展开详细介绍。
-
何海群编著2017 年出版270 页ISBN：7121311413
-
华东纺织工学院1961 年出版204 页ISBN：
-
（苏）柯塔依（А.К.Кутай）主编；卢达裘，杨蕃时译1963 年出版633 页ISBN：15119·1747
-
（美）克雷格（Craig，J.J.）著；苏仲飞等译1987 年出版185 页ISBN：756120017X
-
涂宏斌，邱艳艳2016 年出版153 页ISBN：7513044592
-
匡照忠主编2008 年出版205 页ISBN：7122020762
本书介绍了离心结构、性能、工作原理、检修知识、以及往复泵、齿轮泵、流体泵的结构、工作原理、检修、离心泵的运行、维护及常见的故障的判断和处理等。...
-
（苏）腊宾诺维奇，А.Н.著；吴天林等译1959 年出版285 页ISBN：15165·170
-
（苏）良顿（Ю.Н.Ляндон）著；陶钧，金庆骥译1956 年出版155 页ISBN：15033·65
-
（英）Susan Woolard著；姜晓云，葛萌译2001 年出版47 页ISBN：7560024750
本书是一本介绍“高速短程赛车比赛”、“加长豪华轿车”、“深海潜水艇”、“海上汽艇”、“航天飞机”等英汉对照读物。
