曾振柄 黄斌 钟秀琴 佘莉 李俊林 刘必红 吴文渊 覃安

计算机符号代数 Ontology建模方法 RDF（S） 初等几何命题 归一化处理 知识获取 智能教学软件 核密度估计 KADS框架结构 模式识别 组合规则 三角函数化简 编译 原子聚类 数据分类 GiNaC 几何学 自然语言处理 可读证明 前推搜索 自动推理 知识重用 规则链表 数据聚类 本体 循环语句 数据挖掘 受限语言 判别式改进 知识表示

中国科学院成都计算机应用研究所 四川成都 中国科学院成都计算机应用研究所自动推理实... 电子科技大学计算机科学与工程学院成都 成都信息工程学院 华东师范大学软件学院 电子科技大学计算机科学与工程学院