阿德南·达尔维切 可分解否定范式。 (英语) Zbl 1127.03321号 美国临床医学杂志 48,第4号,608-647(2001). 引用于43文件 MSC公司: 03B35型 证明和逻辑操作的机械化 65年第68季度 算法和问题复杂性分析 68吨15 定理证明(演绎、解析等)(MSC2010) 68瓦30 符号计算和代数计算 PDF格式BibTeX公司 XML格式引用 \textit{A.Darwiche},J.ACM 48,第4号,608--647(2001;Zbl 1127.03321) 全文: 内政部