当前位置：首页 > 名称
大约有60项符合查询结果项。（搜索耗时：0.0058秒）
为您推荐： 分析基础机器证明系统 几何定理机器证明的案例 几何定理机器证明的基本原理 不等式机器证明与自动发现 方程求解与机器证明 证明责任论
-
-
-
世纪末的证明 99断想
梁晓声著；责编：张海焘1999 年出版429 页ISBN：7801143892迄今为止，人类罅战争的方式不外乎两种——以和平制止战争和以战争制止战争。我们中国人感到，克林顿总统先生在性丑闻中夹起的尾巴，今天似乎竖得太高了。男人眼里所欣赏的女人，或多或少，总难免具有他少年时感情所...
-
产业机器人·服务机器人·特种机器人 第2版
郭治主编；刘兴良，刘飞虹著1999 年出版153 页ISBN：7543309963本书通过44个故事，讲述各种机器人的发明、使用、改进、演变及其在社会中的作用。
-
-
-
-
-
-
