%0 Journal Article
%T 机器证明的困难所在
%A 程显毅？
%J 计算机科学
%D 1992
%K 人工智能机器证明
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=980609&flag=1