大约有3,518项符合查询结果项。（搜索耗时：0.0541秒）
为您推荐：
几何定理机器证明的案例
分析基础机器证明系统
几何定理机器证明的基本原理
不等式机器证明与自动发现
方程求解与机器证明
证明责任论
-
王淦昌主编；陆玉昌，杜继宏，冯元琨，王振宇著1991 年出版354 页ISBN：7540813318
-
张涵主编2005 年出版227 页ISBN：7502570519
本书讲述了离心泵、离心机、压缩机等机器的工作原理、结构、运转特性以及使用方法。
-
邓海南著1985 年出版89 页ISBN：10078·3583
-
吴振彪主编1997 年出版148 页ISBN：7560914020
-
黑龙江农业机械化学院编1960 年出版274 页ISBN：16093·138
-
天津大学等院校合编1961 年出版288 页ISBN：15165·310
-
（美）杰克·威廉森原著；董懿娜改编1999 年出版99 页ISBN：754281849X
-
（英）E.M.福斯特原著；广汉改编1999 年出版97 页ISBN：7542818627
-
北京农业机械化学院编1961 年出版193 页ISBN：15144·211
-
詹雄主编1999 年出版194 页ISBN：7810531352
