徐彤 杨叔子 王坤 王润生 梁俊 李松 何积丰 丁洪 黎钜鲇 张莉 朱寿华 文翰 蔡涛 桂修文 胡述印 胡诗国 孙明湘 郑尚龙

故障诊断 递归 软件测试 递归语言 匹配 优化 子句 一阶逻辑 字符串函数 递归性 专家系统 递归函数 映射 特征函数 语义 堆栈 定义域 动态链接库 集合 PROLOG 数理逻辑 联系 符号描述 单元测试 概念 选择 分开合并 目标 测试用例 量词