当前位置:首页 > 名称
大约有20项符合查询结果项。(搜索耗时:0.0054秒)
为您推荐: 分析基础机器证明系统 几何定理机器证明的案例 几何定理机器证明的基本原理 不等式机器证明与自动发现 方程求解与机器证明 证明责任论
-
-
-
-
-
-
-
-
-
2020年的战争 机器人战争
路秀儒著2008 年出版218 页ISBN:7801529561本书从机器人的诞生,到机器人在现实和未来战争的应用等九个方面,全面阐述机器人在未来战场上将大显身手,介入和参与战争。
-
