当前位置:首页 > 名称
大约有513,735项符合查询结果项。(搜索耗时:0.6008秒)
为您推荐: 几何定理机器证明的基本原理 挑战思维极限 勾股定理的365种证明 证明的故事 从勾股定理到现代数学 几何最著名24个定理证明及应用 几何定理的机械化证明 分析基础机器证明系统
-
-
-
-
-
-
民事诉讼证明妨碍制度研究
包冰锋著2011 年出版229 页ISBN:9787561540336本书从民事诉讼证明妨碍制度的内涵与法理出发,通过对民事诉讼证明妨碍制度的比较法考察,分析了民事诉讼证明妨碍制度的构成要件,并阐述了民事诉讼证明妨碍制度的法律效果,为我国民事诉讼证明妨碍制度的构建提供...
-
-
数理逻辑 证明及其限度
郝兆宽,杨睿之,杨跃著2014 年出版249 页ISBN:9787309110258本书针对对逻辑和数学基础有兴趣的的读者。相对于其他同类书,本书把逻辑与元数学联系在一起,更多地介绍语义部分并强调语法语义的统一。此外,本书的另一个重要目的是为了后继课程做准备,因此也是引学习者入数...
-
2020年的战争 机器人战争
路秀儒著2008 年出版218 页ISBN:7801529561本书从机器人的诞生,到机器人在现实和未来战争的应用等九个方面,全面阐述机器人在未来战场上将大显身手,介入和参与战争。
-
学科分类
出版时间
