期刊文章详细信息
广义λ-归结 ( EI收录)
GENERALIZED λ-RESOLUTION
文献类型：期刊文章
机构地区：[1]吉林大学计算机科学系,长春130021 [2]吉林省计算机技术研究所,长春130000
基 金：国家自然科学基金
年 份：1992
卷 号：15
期 号：9
起止页码：655-661
语 种：中文
收录情况：BDHX、BDHX1992、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、核心刊
摘 要：在这篇论文中,提出了广义λ-子句的概念和引进了广义λ-归结方法.证明了广义λ-归结方法对于广义λ-子句集是完备的.
关 键 词：模糊逻辑 Λ-归结
分 类 号：O141[数学类]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
