大约有3,518项符合查询结果项。（搜索耗时：0.0512秒）
为您推荐： 分析基础机器证明系统 几何定理机器证明的案例 几何定理机器证明的基本原理 不等式机器证明与自动发现 方程求解与机器证明 证明责任论
-
高等数学证明题500例解析
徐兵主编2007 年出版505 页ISBN：7040213990本书依据高等数学教学基本要求，参考多本高等数学习题集，考研试题，数学竞赛题，选择约500道证明题，通过对比、分类、归纳、分析，找出不同题目之间的共性和差异，提高学生求解高等数学证明题的效率，培养训练数学思......
-
-
刑事主观事实证明问题研究
康怀宇著2010 年出版362 页ISBN：9787511809407本书以实体法与程序法的双重视角，深度探讨了刑事主观事实的证明问题与实体法规范（及解释论）的关系，并对如何有效地化解主观事实的证明困境给出了实实在在的答案。针对我国刑法偏重主观要素的特点，提出了如果希望...
-
诉讼证明中的推定研究
焦鹏编2012 年出版276 页ISBN：9787511834454本书是一本对诉讼证明中的“推定”进行研究的专业性学术著作。全书分十章，从“推定的概念与属性”、“推定的学术分类与学科体系”、“推定适用的要素与效果”、“推定的结构机理与适用机理”、“推定的证明...
-
-
可信计算远程证明与应用
闫建红著2017 年出版162 页ISBN：9787115475787可信计算是信息安全的一种新技术和新的体系结构，远程证明是可信计算平台的重要功能之一。本书在国内外学者部分研究成果的基础上，介绍了作者在可信计算中的远程认证及其应用方面多年的研究成果。本书主要介绍...
-
-
你不需要向世界证明自己
陈晓辉，一路开花主编2015 年出版200 页ISBN：9787502049607全部选取适合于中学生阅读，启心明智的文章，同时提高考试的读写能力。被人理解是幸运的，但不被理解未必不幸。一个把自己的价值完全寄托于他人的理解上面的人往往并无价值。一个人越是珍视心灵生活，越容易发现外...
-
事实证明，人民永远是最可爱的
马伯庸著2017 年出版339 页ISBN：7020117236本书精选马伯庸曾发表在《看天下》杂志、观察者网上的一系列随笔作品。此次是马伯庸随笔作品第一次结集出版，内容涉及广泛，读史、生活、经历，方方面面充分体现了作者丰富广博的知识背景和作为一个现代人的生存...
-
破解素数奥秘 哥德巴赫猜想原题的证明
宋树魁，宋昊编著2008 年出版165 页ISBN：9787561224120本书介绍了素数的历史，当今素数领域中未解难题，素数的研究方法，素数研究新发现与新成果，素数奥秘与哥德巴赫猜想原题的关系，哥德巴赫猜想原题证明，素数的应用等。...