%0 Journal Article
%T 归纳法模式的自动生成
%A 李卫华？
%A 张黔？
%A 张亮？
%A 刘娟？
%J 软件学报
%P 168-174
%D 1996
%X 本文介绍归纳法推理系统的核心──归纳法模式的自动生成程序．该程序从递归函数定义出发，自动生成归纳法模板；从待证定理出发，借助归纳法模板，自动生成归纳法模式和归纳法公式．该系统已在微机上用编译ｌｉｓｐ语言实现．
%K 归纳法模板
%K 归纳法模式
%K 归纳法推理
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19960307&flag=1