多元动态演绎相关硕士博士期刊学术论文 - 搜论网

多元动态演绎相关论文

多元动态演绎在Prover9证明器中的应用

Prover9证明器只采用二元归结方法,是一种静态的、局部的推理规则。基于矛盾体分离规则,提出了一种多元动态演绎算法,采用整体式演......

期刊

二元归结矛盾体分离多元动态演绎演绎权重 binary resolutioncontradiction separationmulti-clause dyn

看过本文同时还关注