直证式相关硕士博士期刊学术论文 - 搜论网

直证式相关论文

命题逻辑定理自动证明的直证式消解原理

消解算法对命题逻辑定理自动证明是普遍能行的,但现行消解证明只能归属于反证法.本文提出直证式消解原理,从析取范式能否消解出最......

期刊

逻辑定理自动证明直证式消解原理能行算法 logic theorem automatic proving direct-proof principle o

看过本文同时还关注