%0 Journal Article
%T Kung推理过程的可靠性和完备性
%A 黎仁蔚
%J 科学通报
%D 1987
%I 
%X 1985年,Kung提出了一个可以高度并行的推理过程。这个推理过程用一个矩阵表示待驳斥的子向集,然后从该矩阵形成两个布尔矩阵(0-1矩阵)M~+和M~-,利用另一个布尔矩阵M(=M~+×(M~-)~T)中布尔
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=7C7E63796F062382A606A3A9833B8C05&jid=B40D4BA57FF46E45205A09B4DC283152&aid=768AD6156D0464E41221ECE0D74DB356&yid=9C2DB0A0D5ABE6F8&vid=9971A5E270697F23&iid=94C357A881DFC066&sid=396DD691E964F390&eid=396DD691E964F390&journal_id=0023-074X&journal_name=科学通报&referenced_num=0&reference_num=0