大约有513,735项符合查询结果项。（搜索耗时：1.0254秒）
为您推荐：
几何定理机器证明的基本原理
挑战思维极限 勾股定理的365种证明
证明的故事 从勾股定理到现代数学
几何最著名24个定理证明及应用
几何定理的机械化证明
分析基础机器证明系统
-
李浩著（南京师范大学法学院）2003 年出版293 页ISBN：7503644419
本书作者通过对国外证明责任理论进行分析、及对国内学术界在此问题上众多误区进行批判的基础上，兼取众家学说，提出了自己对证明责任领域诸多问题。...
-
刘培杰数学工作室编译2016 年出版380 页ISBN：7560356556
-
王鸿飞编著；王梓坤丛书编著2018 年出版362 页ISBN：7560365411
-
张贤模等编著1957 年出版221 页ISBN：15090·34
-
（苏）茹拉符耶夫，В.Н.著；凌治化译1963 年出版242 页ISBN：15165·2071（一机432）
-
冈恰连科著；谭浩泉译1954 年出版64 页ISBN：
-
胡适耕，姚云飞编著2007 年出版243 页ISBN：7030183096
本书为大学教辅，例题经典，讲解生动，习题丰富，非常适合学生使用。
-
徐省三编写1958 年出版24 页ISBN：T15099·22
-
刘兴良，刘萍编著1993 年出版135 页ISBN：756390221X
本书介绍了电脑的组成、种类、特点等基础知识和在各行各业中从事各种工作具有各种特点的当代电脑与机器人。
-
井升华主编2007 年出版238 页ISBN：7560061214
本书主要介绍了各种单据、证件、证明类文件的格式，并给出了例文。语篇内容丰富，可作为实用的工具书使用。
