%0 Journal Article
%T 可演绎系统的研究
%A 李磊 Koulo
%A Jd？
%J 计算机科学
%D 1993
%K 可演绎系统演绎数据库
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=1089977&flag=1