大约有3,518项符合查询结果项。（搜索耗时：0.0529秒）
为您推荐：
几何定理机器证明的案例
分析基础机器证明系统
几何定理机器证明的基本原理
不等式机器证明与自动发现
方程求解与机器证明
证明责任论
-
希尔著；薛以恒译1935 年出版214 页ISBN：
包括神经及其所传之信息、肌肉及其动作之法、心脏及其他数种肌肉、肺与血液……肌肉获得空气及燃料之方法、神经与肌肉之合作、速度力量及持久力等6讲，讲述人体神经及肌肉有关知识。末有2附录。...
-
王小洋编绘2008 年出版267 页ISBN：7540535873
这是一本描写关于母爱的故事，内容曲折动人，画面整洁漂亮，十分吸引读者。
-
（美）MICHAEL BOWLES著；沙赢，李鹏译2017 年出版318 页ISBN：7115433732
-
苏联中央建筑情报研究所编；中华人民共和国建筑工程部建筑工程组织及机械化研究所译1957 年出版17 页ISBN：15040·639
-
上海动力机器制造学校工程热力学与机器学学科委员会编译1955 年出版423 页ISBN：
-
（苏）萨维诺夫（О.А.Савинов）著；中华人民共和国建筑工程部华东工业建筑设计院译1957 年出版296 页ISBN：15062·660
-
-
-
-
郭洪红主编；贺继林，田宏宇，席巍副主编2006 年出版215 页ISBN：7560616461
本书讲述工业机器人的有关知识，包括：机器人的发展概况、结构、运动学及动力学、控制等内容。
