符红光 吴尽昭 钟秀琴 张问银 马廷淮 吴文渊 唐建国 郭远华 张海盛 穆传东 陈帆 赵亚伟 孙星明

自动推理 三角函数化简 启发式 逐次差分代换 数据挖掘 重言衍推 汉字 自动证明 粗糙集 部件识别 数学表达式 结论域 压缩图像索引 KADS框架结构 图像检索 小波提升 前推搜索 自然推理 NMI特征 可读证明 模式识别 关联规则 正半定性 试探法 JPEG2000 智能教学软件 推理引擎 相干命题 数值测试 Ontology建模方法

中国科学院成都计算机应用研究所 四川成都 中国科学院成都计算机应用研究所自动推理实... 华东师范大学上海市高可信计算重点实验室 华东师范大学软件学院 电子科技大学计算机科学与工程学院成都 株洲工学院计算机科学与技术系 临沂师范学院计算机系