证明的艺术相关电子书下载

贺贤孝编著2000 年出版190 页ISBN：7535531962

刘佳，夏爱生，鞠涛，钟敏译；（美）阿瑟·T.本杰明，（美）詹妮弗·J.奎因2019 年出版193 页ISBN：

YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

（日）森村诚一著；丁国祯等译2003 年出版359 页ISBN：750142800X

本书为日本现代长篇推理小说。

（日）森村诚一著；徐京宁等译1998 年出版369 页ISBN：7805646872

（日）森村诚一著；丁国桢等译1998 年出版328 页ISBN：7805646856

（日）森村诚一著；徐宪成译1985 年出版402 页ISBN：10067·345

（日）森村诚一著；高智忠译1987 年出版232 页ISBN：7535400337

陈祖芬著1986 年出版328 页ISBN：10378·122

（日）森村诚一著；王智新译1979 年出版356 页ISBN：10100·336