大约有6,000项符合查询结果项。（搜索耗时：0.0138秒）
为您推荐：
几何定理机器证明的基本原理
挑战思维极限 勾股定理的365种证明
证明的故事 从勾股定理到现代数学
几何最著名24个定理证明及应用
几何定理的机械化证明
分析基础机器证明系统
-
潘承洞，潘承彪著1988 年出版294 页ISBN：7532306046
本书主要介绍素数定理的七个初等证明以及与之有关的Чебышев不等式、Mertens定理等。
-
（日）森村诚一著；华经武译1988 年出版253 页ISBN：7503900229
-
（日）内井惣七著；陈祖军，王学等译1988 年出版177 页ISBN：7300004083
-
邓必成编1988 年出版202 页ISBN：7535102794
-
（美）索 洛（Solow，D.）著；沈泽琪，许心正译1988 年出版146 页ISBN：7030000870
-
崔冠之，郑国安编1988 年出版516 页ISBN：7800320625
-
E.B.邓肯等著；张饴慈 刘吉江译1988 年出版228 页ISBN：7030005090
本书介绍最简单的马氏链
-
（英）Francis N-Nagy （匈牙利）Andras Siegler著；范牧昌 董金城 李道根译1988 年出版138 页ISBN：
-
李学荣著1988 年出版351 页ISBN：7536600178
-
（日）前川祯男，（日）大野荣一编著1988 年出版166 页ISBN：7040008817
