%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=4C86B03D51626B592ED1679DC737B914&yid=8D39DA2CB9F38FD0&vid=BCA2697F357F2001&iid=B31275AF3241DB2D&sid=ECE8E54D6034F642&eid=D997634CFE9B6321&journal_id=1002-137X&journal_name=计算机科学&referenced_num=1&reference_num=0