陈光喜 王晓京 杨宗凯 张中文 李书民 江建国 童名文 沈国坤

本体 知识元素 传输上下文 中国远程教育标准 网络教育 启发函数 冗余推理 移动短消息 知识库 知识服务 几何等价谓词 标准项代换 Rete 算法 3DES算法 自动推理 可读证明 ICAI 搜索法 等词 等价类推理 知识再现 证券交易 几何定理机器证明 内容适配

中国科学院成都计算机应用研究所 华中师范大学教育信息技术工程研究中心 中科院成都计算机应用研究所 辽宁师范大学数学学院 湖北武汉 辽宁大连116029中国科学院成都计算机...