α-多元有序线性极小归结自动推理相关硕士博士期刊学术论文 - 搜论网

α-多元有序线性极小归结自动推理相关论文

基于格值逻辑的α-多元线性归结自动推理研究

人工智能领域中的一个极具有挑战性的研究方面是自动推理(定理机器证明),归结自动推理是自动推理的重要研究方向之一,其研究成果已......

学位

格蕴涵代数 α-归结自动推理格值逻辑系统 α-归结域 α-多元极小归结原理 α-多元有序线性极小归结自动推理非子句α-多元极小广义归结自动推理

看过本文同时还关注