一种基于Kripke类型的定性模糊逻辑系统及其归结方法

会议类型: 国内会议

会议名称: 2003年全国理论计算机科学学术年会

会议地点: 青岛

会议语种:中文

在线出版日期: 2003-08-01（万方平台首次上网日期，不代表论文的发表时间）