一般平衡态的理论与证明 英文

侵犯知识产权犯罪构成与证明

本书是对侵犯知识产权犯罪立法及犯罪构成的研究。

证据法 证明负担原理与法则研究

本书讨论了证明负担原理与法则研究。

三星堆文化大猜想 中华民族与古犹太人血缘关系的破解

本书综合文化人类学、民族学、宗教学等多种学科，对闻名于世的三星堆文化进行了探讨与猜测。

最优设计的计算机证明与构造

诉讼证明过程分析 民事诉讼真实与事实发现

证据与证明 以刑事法治为视角

本书围绕着刑事证据与证明的若干前沿问题展开论述，对司法实践中的一些热点问题进行了深入分析，有一定的理论价值。

方程求解与机器证明 基于MMP的问题求解

证明方法与理论

本书阐述数学证明的基本原理，主要包括：证明方法；证明理论（关于证明的定理）；专门知识的表示和转换方法（实现几何、代数等专业领域命题证明的通用方法和定理）。作者对数学证明的普遍性问题给与阐述，力图解决：......

从一到哥德巴赫猜想 整除性的典型问题与方法

本书从数论开始，内容涉及整数的加减乘除运算、整除性、奇数与偶数、素数与合数、算术基本原理、数的进位制、最大公因数、最小公倍数、勾股数组、费马大定理、哥德巴赫猜想等。本书由浅入深，对一些基本的数学...