简单广义子句集相关硕士博士期刊学术论文 - 搜论网

简单广义子句集相关论文

基于格值一阶逻辑LF（X）的自动推理算法

基于谓词逻辑的归结推理方法是目前理论上较为成熟、可以在计算机上实现的推理方法之一。针对格值一阶逻辑LF（X）中归结自动推理问题,......

期刊

格值一阶逻辑自动推理 α-归结原理简单广义子句集 lattice-valued first-order logic automated reasoning

看过本文同时还关注