当前位置：首页 > 名称
大约有10,000项符合查询结果项。（搜索耗时：0.0150秒）
为您推荐： 几何定理机器证明的基本原理 挑战思维极限 勾股定理的365种证明 证明的故事 从勾股定理到现代数学 几何最著名24个定理证明及应用 几何定理的机械化证明 分析基础机器证明系统
-
-
中国佛教学术论典 33 《起信论裂纲疏》思想探析 论清辩对“空”的逻辑证明 《因明正理门论》研究 陈那因明思想述评 《正理门论》探微 因明的现量观
星云大师监修；佛光山文教基金会总编辑；永明，永进，永本，满果，满耕编辑2001 年出版409 页ISBN：9574570169 -
-
-
-
-
-
迈向新世纪的中国机器人 国家863计划智能机器人主题回顾与展望
谈大龙主编；国家863计划智能机器人主题专家组编2001 年出版293 页ISBN：7538133607本书分为七个部分，完整地记录了从事机器人研究开发的新老科学家在863精神指引下取得成功的历程。
-
-
学科分类