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

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

天下事-中华文明的经济学证明

本书用哲学阐述大道理。

时间会证明一切

本书是一部散文随笔集。作者以干净、清新和风趣的文字，书写着身边的人与人生，写出了真情实感和经过内心沉淀的真知灼见。敏锐的视角和纤细的笔触，透过对人生、对情感、对事业的领悟，反映了生活的简单与复杂，折射...

专题小课本高中数学 常用逻辑推理与证明

几何定理计算机证明

本书全面总结了中国数学家对几何定理机器证明的重要成果，内容包括欧氏几何的完善与发展、几何定理机器证明的发展概况、吴文俊机械化方法、张景中消点算法等。...

汉语藏语同源字研究 语义比较法的证明

人性的证明 日文版

本书为长篇小说。描写美国军事占领日本，日本少女八杉慕子被美国大兵强暴，生下约翰尼，几十年后，约翰尼来日本寻母，慕子为了保全自己，杀死自己的亲生儿子。...

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

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

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