关键词： 格蕴涵代数 α-归结 归结域 滤子
作者: 刘熠 徐扬 贾海瑞
作者单位: 西南交通大学 智能控制开发中心,四川 成都 610031
会议类型: 国内会议
会议名称: 中国计算机学会多值逻辑与模糊逻辑专业委员会第十三届学术年会
会议地点: 上海
会议语种:中文
页码: 9-9
在线出版日期: 2012-10-01（万方平台首次上网日期，不代表论文的发表时间）