蔡家楣 董春玲 李宣东 欧阳丹彤 沈昌祥 朱关铭 王申康 周小燕 吴光伟 刘庆华 尹中旭 陆汝占 铃木秀男 张焕国 小林英恒 胡成军 王张宜 何成 邵志清 陆朝俊 吴灏 曾庆凯 赵克 缪淮扣 李卫华 白洪涛 李莉 董荣胜 孙永强 侯建民

约简 无归纳的归纳法 模型检验 证明方法 形式验证 关系数据库 良基关系 Isabelle 归结式 可满足性问题 子目标 知识推理 命题逻辑 访问控制模型 子句 解题自动化 证明信息 知识库 半扩展规则 可信计算基 归结 PI归结 冗余协议 支撑集 Athena 法的实现 邻域逻辑 一阶逻辑 函数程序设计语言 扩展构造演算