大约有27,674项符合查询结果项。（搜索耗时：0.1367秒）
为您推荐： 证明责任论 title证明责任论 第5版 证明 证明责任 人性的证明 哥德尔证明
-
证明力判定论 以刑事证据为视角
金钟著2010 年出版263 页ISBN：9787565301216本书是以刑事证据证明力判定问题为研究对象的法学理论专著。本书全面论述了刑事证据证明力判定的概念、特点、历史、原则、规则、方法，并在此基础上提炼出一系列具体应用规则和应对实务疑难问题的对策。...
-
-
素数分布方程理论与证明
刘长华著2017 年出版189 页ISBN：9787533774080本书是一本数学方面的学术专著。作者提出素数分布理论，总结、归纳了素数分布方程的特征与性质，证明了在八个等差数列中，素数的个数都是近似相等的，这一成果改进了埃氏筛法，建立了偶数的15种类型64个方程，为孪生.....
-
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
计量经济学 直觉、证明与实践
（美）杰弗里·扎克斯著2016 年出版462 页ISBN：7122288641本教材对计量经济学模型的经典假设、违背计量经济学经典假设的直观含义进行了深度剖析；运用易懂的数学工具严谨地论证了计量经济学模型估计的基本原理；紧扣读者认知的特点，由简渐难、由浅入深，清晰地展现了计量...
-
-
WTO争端解决机制证明负担规则研究
高田甜编2012 年出版226 页ISBN：9787511831378本书以证据法中有关证明负担的理论为基础，在WTO的背景下对争端解决实例进行深入的剖析，并对在这些案件中所体现出的普遍性规律和特殊情况加以规纳梳理，力求做到“来源于争端解决实例，又高于争端解决实例”。...
-
点击专项 高中数学 不等式 推理与证明
张友，刘金国主编2010 年出版374 页ISBN：7563428240本丛书以高中数学新课标为体系，从易到难的梯度编写，这样，对本专题知识没有吃透的学生可以迅速掌握本专题的知识，中等水平的学生在精读本书提高篇后会使自己更上一层楼。...
-
流过的泪是爱过的证明
秋日细雨著2016 年出版294 页ISBN：7511360688本书是一本散文集，包括叙事、抒情，无论是爱情或亲情，人物或风景，每篇文章作者均以最独特的写作风格展示文字的精彩，文字是一场华丽的盛宴，也是人类精神丰富的粮食，本书的文字贴近生活，寓于抒情，能让读者体会......