%0 Journal Article
%T 关于归纳证明的探讨
%A 钟发荣 孙永强？
%J 计算机科学
%D 1998
%K 归纳证明自动定理证明算法计算机
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=3342065&flag=1