计算机应用研究2009，Vol.26Issue(10)：3639-3641,3.DOI:10.3969/j.issn.1001-3695.2009.10.010
相干命题逻辑自然推理系统NR的自动证明
Automated reasoning for natural deduction system NR of relevance propositional logic
摘要
关键词
相干命题/自然推理/自动证明/可读证明分类
信息技术与安全科学引用本文复制引用
郭远华,曾振柄..相干命题逻辑自然推理系统NR的自动证明[J].计算机应用研究,2009,26(10):3639-3641,3.基金项目
国家自然科学基金重点资助项目(90718041) （90718041）
