关于归纳证明的探讨
点击次数：
第一作者：钟发荣
发表时间：1998-01-01
发表刊物：计算机科学
所属单位：数理与信息工程学院
文献类型：期刊
卷号：第25卷
期号：第5期
页面范围：59-61
ISSN号：1002-137X
关键字：Theorem；proving；Induction；Rewriting；Proof；by；consistency
摘要：归纳定理证明是一种难度较大且较有前途的一种自动定理证明方法。较早的归纳定理证明器是Boyer一Moore于1979年提出的BM证明器,BM证明器采用的是传统的结构归纳法,对所证公式中的每个函数项都根据其所谓归纳模板提出相应的归纳方案,然后对这个归纳方案进行分析、比较和整理,得出整个
是否译文：否
上一条：非对称带不等算子的χ≠-演算
下一条：一个基于规范变换的定理证明方法