非子句多元α-有序线性广义归结相关硕士博士期刊学术论文 - 信丰网

非子句多元α-有序线性广义归结相关论文

命题逻辑中非子句α-有序线性广义归结方法

为了处理在不确定性环境下的自动演绎,重点研究了基于自动推理理论的归结方法,其自动推理理论是真值定义在格蕴涵代数（lattice impl......

期刊

格蕴涵代数自动推理格值命题逻辑非子句多元α-有序线性广义归结 lattice implication algebra automated reasoni

看过本文同时还关注