%0 Journal Article
%T 非单调推理十年进展
%A 林作铨
%A 石纯一
%J 计算机科学
%D 1990
%I 
%K 非单调推理
%K 人工智能
%K 推理
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=4C86B03D51626B59C60671E1DBA794C1&yid=8D39DA2CB9F38FD0&vid=BCA2697F357F2001&iid=B31275AF3241DB2D&sid=4AD960B5AD2D111A&eid=2001E0D53B7B80EC&journal_id=1002-137X&journal_name=计算机科学&referenced_num=6&reference_num=0