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