李廉 王江伟 樊明锋 黄海鹰 李然 蒙应杰 文获和 蒋瑜 孔令旺 张娟 杨宝国 周广才 李小霞 林和 陈文中 黎锁平 马成业 蔡正琦 张洛欣

模糊目标 变精度区分矩阵 极小模型 组合半群 电子政府 相容性 重写系统 良基理论 熵 Church-Rosser条件 半群性质判定 决策表 对象连接与嵌入 最小描述长度 属性约简 遗传算法 粗糙集 数字城市 Hooke-Jeeves方法 二进制数据 区分矩阵 可变谓词限定 Prolog 正则元 不完备数据 逻辑程序设计泛代数方程组 信息熵 树代数 近似集 限定推理

兰州大学计算机科学系 兰州大学信息科学与工程学院 兰州理工大学理学院 兰州大学数学系