可检索词： （英文）题名=T 作者=A 关键词=K 摘要=R 机构=O 主题=S 刊名=M 分类号=N
检索规则说明： [&]代表"并且"；[|]代表"或者"；[!]代表"不包含" (运算符两边不需要空格)
检索范例： 范例一：(k=科技[|]k=技术)[&]t=范并思 范例二：t=计算机应用与软件[&](R=C++[|]R=Basic)[!]t=西华师范大学
主办单位：
出版地：
ISSN：
主编：
邮发代号：
中图分类号： 选择
中文会议： 计算机科学第29卷9月专刊
会议日期： 2002-10-09
会议地点： 苏州
主办单位： 中国计算机学会
作 者： ; ;
机构地区： 中山大学
出 处： 《第二届中国Rough集与软计算学术研讨会》
摘 要： 本文特别介绍了一种λ-归结方法,得到λ-归结原理的完备性,从讨论中可以突出λ-归结方法依赖于算子的合成运算[η<,*>,η<'*>]的选择.
关 键 词： 算子 逻辑 归结 粗糙集理论
分 类 号： [TP]
领 域： [自动化与计算机技术]
