关键词: 逆反逻辑 推理 机制
作者: 苏运霖
作者单位: 暨南大学计算机科学系
会议类型: 国内会议
会议名称: 1999年全国理论计算机科学学术年会
会议地点: 浙江金华
会议语种:中文
页码: 115~119
在线出版日期: 1999-10-01(万方平台首次上网日期,不代表论文的发表时间)