%0 Journal Article
%T 线性辑导论
%A 黄林鹏 孙永强？
%J 计算机科学
%D 1991
%K 线性逻辑数理逻辑
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=536683&flag=1