大约有3,518项符合查询结果项。（搜索耗时：0.0564秒）
为您推荐：
几何定理机器证明的案例
分析基础机器证明系统
几何定理机器证明的基本原理
不等式机器证明与自动发现
方程求解与机器证明
证明责任论
-
（苏）叶尔莫洛夫（Ермолов，П.С.）等著；高行方，华国柱译校1990 年出版256 页ISBN：7109012999
-
（英）H.G.威尔斯著；青闰译2012 年出版94 页ISBN：9787544733649
本书是作者最早获得成功的一部科幻小说，也是他最富盛名的科幻作品之一。本书讲述了一个时间旅行家发明了一种能穿越时空的时间机器，并穿梭到公元802701年。在未来世界中，他发现人类正渐渐走向没落。...
-
冯显英主编2007 年出版270 页ISBN：7533146808
本书介绍了机械制造学科的基础知识、发展历史、传统的和先进的机械加工设备和方法、机械制造自动化等，对机械制造业的发展前景作了展望。...
-
（苏）莫洛斯托夫著；赵兴夏译1957 年出版218 页ISBN：15034·125
-
管家琪著2013 年出版176 页ISBN：7534271940
本套书收录作家的一批中短篇童话，活泼幽默，轻松自然，想象奇特，对孩子具有不俗的阅读吸引力。
-
（美）刘易斯·芒福德著；宋俊岭译2015 年出版562 页ISBN：7112179077
-
（美）乔·霍尔德曼著2010 年出版209 页ISBN：9787512700642
马特·福勒是个不起眼的MIT助理研究员，成天泡在物理实验室。某天，他发现了奇怪的事：当他按下重启键时，一个光敏量子标准器总是重复消失、重现……...
-
上海动力机器制造学校工程热力学与机器学学科委员会编译1961 年出版236 页ISBN：15119·1620
-
（日）渡边茂主编；陈志强，彭商贤译1985 年出版136 页ISBN：15033·5947
-
华东化工学院化工机器及设备教研组编1961 年出版717 页ISBN：15010·986
