%0 Journal Article
%T 归纳法推理中的项重写策略*
%A 张黔
%A 李卫华
%A 韩波
%J -
%D 1996
%X 本文介绍归纳法推理系统中的项重写策略．该策略根据不同的待重写项term，分别运用公理、重写引理、函数定义、项重写规则等重写项term，以期得到一个更接近推理目标的巳重写项．这一策略已在微机上用编译LlsP语言实现
%K 项重写
%K 归纳法推理．
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=1996s184&flag=1