张景中 张硕 沈国坤 王晓京 单美静 徐安农 李传中 蔡如华 何维 毕忠勤

ASPNET 知识库 知识再现 有效数据加密 ICAI 代数数 自动求解 CAI 管理层 自动推理 局部搜索 网络教学 密钥流 Lisp语言 计算机辅助教学 小波变换 二维Logistic映射 Chen系统 信息安全 物理智能教育软件 图像加密 可满足性问题 多项式扩展 定理机器证明

中国科学院成都计算机应用研究所 广州师范学院教育软件研究所 华东师范大学上海市高可信计算重点实验室 桂林电子工业学院计算科学与数学系 广西桂林 桂林电子科技大学数学与计算科学学院