%0 Journal Article
%T 归纳法推理中的各种推理策略*
%A 李卫华？
%A 张黔？
%A 龙泉？
%J 软件学报
%P 551-557
%D 1996
%X 分元符删除；项推广；无关式删除；交融是归纳法推理系统中一些重要的推理策略．文中逐一介绍了这些推理策略，给出了使用这些推理策略的方法，列出了不同推理策略的编译llsp语言实现．
%K 分元符删除
%K 项推广
%K 无关式删除
%K 交融．归纳法推理．
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=1996s182&flag=1