弱包含删除相关硕士博士期刊学术论文

本文提出了一种模态归结的弱包含删除策略，证明了使用弱包含删除策略模态归结的完备性。从而，将Ａｕｆｆｒａｙ等人提出的开问题－－模态归结包含删除策......