行波:数学推理的元极导航 |
| |
引用本文: | A.邦迪.行波:数学推理的元极导航[J].国外科技新书评介,2007(2):21-22. |
| |
作者姓名: | A.邦迪 |
| |
作者单位: | [1]不详 [2]原中国科学院物理学研究所 |
| |
摘 要: | 本书是《剑桥理论计算科学专论》丛书的第56卷。自从20世纪50年代起,自动化理论证明成为一个活跃的研究领域。在该领域中的研究人员开始着手处理类似人类的自动化推理。在20世纪60年代和70年代,人们对自动化理论证明的兴趣增加了,这是由于理论进展的驱动。例如归纳的开发以及对程序验证的兴趣增加。
|
关 键 词: | 数学推理 自动化理论 导航 元极 行波 自动化推理 计算科学 研究人员 |
本文献已被 维普 等数据库收录! |
|