行波：数学推理的元极导航

• 作者: A．邦迪（著） D．巴森（著） 胡光华
• 来源期刊: 国外科技新书评介
• 学科: 工学
• 关键词: 数学推理 自动化理论 导航 元极 行波 自动化推理 计算科学 研究人员
• 年，卷（期）: 2007,（2）
• 页码范围: 21-22
• 页数: 2页
• 分类号: TP301.1

摘要

本书是《剑桥理论计算科学专论》丛书的第56卷。自从20世纪50年代起，自动化理论证明成为一个活跃的研究领域。在该领域中的研究人员开始着手处理类似人类的自动化推理。在20世纪60年代和70年代，人们对自动化理论证明的兴趣增加了，这是由于理论进展的驱动。例如归纳的开发以及对程序验证的兴趣增加。