%0 Journal Article
%T 用构造基证明归纳定理
%A 张静
%A 邵志清
%J 华东理工大学学报
%P 529-533
%D 2000
%X 在测试集方法的基础，引入一个新的概念－构造基，用于产生完全的但非冗余的不可归的约基项；提出构造基归纳原理，将显式归纳证明和隐式归纳证明有机地结合在一起。对测试集方法做出了改进，实验表明：这种方法提高了归纳定理的证明效率。
%K 构造函数符号
%K 构造基
%K 证明
%K 归纳定理
%U http://journal.ecust.edu.cn/ch/reader/view_abstract.aspx?file_no=200005161&flag=1