当前位置：首页 > 名称
大约有435,577项符合查询结果项。（搜索耗时：0.4579秒）
为您推荐： 代数不等式的证明 分析基础机器证明系统 机器证明 几何定理机器证明的案例 工业机器人集成应用机构设计篇自动化 全4册 工业机器人集成应用机构设计篇自动化
-
-
-
-
-
-
-
-
-
机器人家族 11位机器人科学家的发明与发现
（美）哈利.亨德森著；管琴译2014 年出版214 页ISBN：9787543961302“科学探索”系列丛书的8部分册都贯穿一个简单而强大的思想——科学技术是人们在日常生活中理解世界和彼此了解不可缺少的一部分。结合人物传记、科学原理和历史，每本书都通过影响社会和为后续研究打下基础...
-
几何定理机器证明的基本原理 初等几何部分
吴文俊著2010 年出版234 页ISBN：97870302837711984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...
学科分类
出版时间