论初等几何定理的机器证明与消去法

本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...

裁判思维与证明方法

犯罪主观要件证明问题研究

刑事证明中的事实研究

犯罪主观要件证明问题研究

本书的思路是简要论述犯罪主观要件的证明困难，在此基础上探讨克服证明困难的一般方法和特殊方法。本书是在作者的博士学位论文基础之上整理完善而成，该论文曾被评为西南政法大学2014年度优秀博士学位论文、重...

裁判思维与证明方法

本书将理论研究与审判实践结合，形成一套操作性强的审判指导方法。研究证明对象确定的具体程序，包括如何从诉讼标的（诉讼请求）中推导出当事人之间假设存在的某种法律关系；如何从假设存在的某种权利义务法律关系找...

梦想会证明一切

本书从作者个人追梦、与现实的和解、心态、职场和创业、家庭、婚姻爱情等角度，表达了现代年轻人应该追求梦想，坚强独立，活出精彩的人生这一主题。坚持笃定，没有矫情，没有自怨自艾，那样真实地活出精彩，为梦努力......

思考机器探案集 完美的不在场证明 第2版

邢.民诉讼证明制度比较研究

本书立足刑、民证明制度现行法律规定，梳理现有规则，对刑、民证明制度予以比较分析，以利制度的理解与适用，并对未来的制度完善进行探讨。力求为相关专业学生学习、以及各法律职业岗位的人员学习、研讨和运用我国...

计量经济学 直觉、证明与实践

本教材对计量经济学模型的经典假设、违背计量经济学经典假设的直观含义进行了深度剖析；运用易懂的数学工具严谨地论证了计量经济学模型估计的基本原理；紧扣读者认知的特点，由简渐难、由浅入深，清晰地展现了计量...