检察官证明责任研究

检察官证明责任既源于实践，又高于实践，属于抽象的证明理论范畴。在国外，尤其是对证明责任理论研究比较成熟的大陆法系关于证明责任的理论学说，大多高度概念化、极端思辨化。本书运用实证和逻辑的方法，从客观存在...

民事诉讼证明标准理论研究

证明标准问题是事实认定过程中的关键环节，直接关系到证据的评价和证明责任的适用问题。本书观点新颖，对证明标准概念的内涵及其相关理论进行了较为透彻的解析。对我国传统意义上的证明标准概念加以解构、分离...

刑事证据制度与理论 下 刑事诉讼证明

本书根据有关学者撰写的刑事证据的论文和著作，结合当前的司法实践，对刑事证据制度的沿革、理论基础、基本原理、刑事证据规则、证明、证明标准等问题进行了论述。...

拿业绩说话 用结果证明

本书是一本人力资源管理类图书。如果没有业绩出色的员工，公司的发展自然难以为继。本书用大量的事例与深刻的道理全面阐述了现代职场中业绩与结果的重要性，告诉员工在工作中应该积极注重结果，创造业绩。本书同...

叶兆言散文精选 婚姻证明之痒

叶兆言先生的这套散文集大致从“自传”“亲友”“见闻”“阅读”“杂感”五个方面进行收集整理。其中，《婚姻证明之痒》侧重于“杂谈”，收录叶兆言先生关于生活见闻，周遭琐事的个人见解，有回忆，有感触，有答疑，......

证明力判定论 以刑事证据为视角

本书是以刑事证据证明力判定问题为研究对象的法学理论专著。本书全面论述了刑事证据证明力判定的概念、特点、历史、原则、规则、方法，并在此基础上提炼出一系列具体应用规则和应对实务疑难问题的对策。...

青春的证明 大中专毕业生走向经济主战场纪实

素数分布方程理论与证明

本书是一本数学方面的学术专著。作者提出素数分布理论，总结、归纳了素数分布方程的特征与性质，证明了在八个等差数列中，素数的个数都是近似相等的，这一成果改进了埃氏筛法，建立了偶数的15种类型64个方程，为孪生.....

民事证明责任研究

本书是对民事证明责任这一专门问题进行研究的最新成果。本书共分十章，分别从民事证明责任的基础、历史渊源、客观证明责任、主观证明责任、证明责任的分配与转换、表见证明责任、推定证明责任、特殊侵权证明...

高阶逻辑辅助证明系统

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...