Soumitra Bose公司;埃德蒙·克拉克(Edmund M.Clarke)。;Long,David E。;斯皮罗·米查洛夫 PARTHENON:非horn子句的并行定理证明程序。 (英语) Zbl 0759.68079号 J.汽车。推理 8,第2期,153-181(1992). 审核人:J.Šajda(布拉迪斯拉发) MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Bose}等人,J.Autom。推理8,No.2,153--181(1992;Zbl 0759.68079) 全文: 内政部
Soumitra Bose公司;埃德蒙·克拉克(Edmund M.Clarke)。;Long,David E。;米夏洛夫,斯皮罗 帕特农神庙:非霍恩子句的并行定理证明程序。 (英语) Zbl 0716.68076号 计算机科学中的逻辑,Proc。第四届年度交响乐团。,Pacific Grove/CA(美国)1989,80-89(1989)。MSC公司:68吨15 68N17号 68T27型 68T99型 PDF格式BibTeX公司 XML格式