哇，拉里;Gail W.Pieper。 计算机世界中一个迷人的国家。您的自动推理指南。带CD-ROM。 （英语） Zbl 1132.68300号 新泽西州哈肯萨克：世界科学（ISBN 981-02-3910-6/hbk；978-981-281-795-2/电子书）。第xx页，第587页。(1999). 出版商描述：这本书通过例子、谜题和有趣的问题向你展示了如何使你的计算机逻辑推理。为了帮助你，这本书包括一张光盘，光盘上有世界上最强大的通用推理程序OTTER。在过去的几十年里，推理的自动化取得了显著的进步，本书讨论了自动化推理程序在解决数学、逻辑、程序验证和电路设计等具有挑战性的问题方面取得的一些显著成功。因为目标读者包括学生和教师，所以本书提供了许多练习（包括提示和答案），以及教程章节，这些章节温和地向读者介绍逻辑领域和一般的自动推理。对于更高级的研究人员来说，这本书提出了一些具有挑战性的问题，其中许多问题仍未解决。 引用于9文件 MSC公司： 68-01年 与计算机科学相关的介绍性说明（教科书、教程论文等） 68T01型 人工智能的一般主题 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：自动推理 软件：水獭 PDF格式BibTeX公司 XML格式引用 \textit{L.Wos}和\textit{G.W.Pieper}，计算机世界中一个迷人的国家。您的自动推理指南。带CD-ROM。新泽西州哈肯萨克：世界科学（1999；Zbl 1132.68300） 全文： 内政部