关键词: 逻辑 多模态逻辑 知识表示 主体
作者: 苏开乐
作者单位: 大学科学院
会议类型: 国内会议
会议名称: 1999年全国理论计算机科学学术年会
会议地点: 浙江金华
会议语种:中文
页码: 120~121
在线出版日期: 1999-10-01(万方平台首次上网日期,不代表论文的发表时间)