基于归结方法的自动推理

中国科学院出版基金资助出版:以归结方法为主线

巅峰推理 下

本书由14个经典推理故事组成，全部来自大陆作者原创。这些小故事情节曲折，推理严谨巧妙，从不同的角度、用不同的手法，反映了当今我国推理文学作品的现状和发展趋势。...

巅峰推理 上

本书由14个经典推理故事组成，全部来自大陆作者原创。这些小故事情节曲折，推理严谨巧妙，从不同的角度、用不同的手法，反映了当今我国推理文学作品的现状和发展趋势。...

柯南侦探推理书 聪明人都在读的365个侦探推理题

本书共收集了365个最经典、最有趣的侦探推理题，古今中外、涵盖面广，包罗万象。以柯南的侦探推理术为导向，以读者的兴趣为出发点，精选了图形推理、数字推理等6大推理题类型，以训练侦探迷的思维能力为目的，按照观.....

合情推理与计算机思维

松本清张推理小说选

逻辑推理判定技法

本书围绕逻辑学的中心问题——判定推理的有效性，重点阐述真值表方法等逻辑判定技法。

法律推理与法律理论

本书讨论了司法判决中的法律推理这一重要主题。

世界侦探推理小说经典 下

一分钟破案 推理

本书以图文对照的形式，讲述了狡猾的接头人、离奇失火案、花朵上的血迹、离奇的投毒案、失踪了的劫犯等悬念案件。