万武南 陈光喜 张景中 何维 沈国坤 刘旸 吴震 孟庆春 李传中 陈运 江建国 粟伟 崔喆

ATL MDS COM 预编码 标准项代换 可读证明 分布式存储 隐私增强技术 隐私 EVENODD码 物理智能教育软件 自动推理 射频识别 纠错码 安全 RAID 知识再现 ICAI 阵列码 搜索法 Lisp语言 LT Code 定理机器证明 几何定理机器证明 计算机辅助教学 Raptor Code 打印 启发函数 RAID结构 数据布局

中国科学院成都计算机应用研究所 四川成都 广州师范学院教育软件研究所 辽宁大连116029中国科学院成都计算机... 成都信息工程学院 中国科学院成都计算机应用研究所自动推理室 中国科学院成都计算机应用研究所数理室 辽宁师范大学数学学院