浸透算法相关硕士博士期刊学术论文 - 搜论网

浸透算法相关论文

一种基于矛盾体分离演绎的一阶逻辑自动定理证明器研究

自动推理是人工智能重要的组成部分,主要包括命题逻辑求解和一阶逻辑定理证明。一阶逻辑系统相比命题逻辑系统具有更丰富的表达能......

学位

自动推理一阶逻辑自动定理证明器浸透算法二元归结启发式策略矛盾体分离规则子句集预处理

看过本文同时还关注