张海江 王士同 贺玉珍 张云鹤 顾平

数学体系 逻辑关联词 SQL语言 计算机科学 非单调推理 联结词 与逻辑 算法 计算机理论 谓词公式 数据库 学术讨论会 人工智能 谓词演算 命题 研究者 图论 命题演算 关系数据库 元数学 科学工作者 智能系统 离散数学 关系代数 归结原理