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