专题首页
中图分类法(2)
数理科学和化学(2)
在“
CNKI学位论文
”中,
命中:
2
条,耗时:小于0.01 秒
1.
格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法的研究
作者:
王伟
关键词:
智能控制
;
格蕴涵代数
;
对偶分子
;
滤子
;
格值命题逻辑
;
不可分极简式
;
α-归结域
;
不可满足性
;
α-可满足的
论文级别:
博士
学位年度:2002
2.
基于语言真值格值一阶逻辑的不确定性推理研究
作者:
赖家俊
关键词:
语言真值格蕴涵代数
;
非经典逻辑
;
语言真值格值一阶逻辑
;
不确定性推理
论文级别:
博士
学位年度:2011
1
按检索点细分(2)
目录(1)
关键词(1)
摘要(1)
按论文级别细分(2)
博士(2)
按学位年度细分(2)
2002年(1)
2011年(1)