行波：数学推理的元极导航
Rippling： Meta-level Guidance for Mathematical Reasoning作者机构：不详 原中国科学院物理学研究所
出 版 物：《国外科技新书评介》 (Scientific & Technology Book Review)
年 卷 期：2007年第2期
页 面：21-22页
学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
主 题：数学推理 自动化理论 导航 元极 行波 自动化推理 计算科学 研究人员
摘 要：本书是《剑桥理论计算科学专论》丛书的第56卷。自从20世纪50年代起，自动化理论证明成为一个活跃的研究领域。在该领域中的研究人员开始着手处理类似人类的自动化推理。在20世纪60年代和70年代，人们对自动化理论证明的兴趣增加了，这是由于理论进展的驱动。例如归纳的开发以及对程序验证的兴趣增加。
维普期刊数据库