张家重 李存珠 郑国樑 邢光荣 王志坚 吴少岩 李波 王庆春 史畏三 全炳哲 汪伟中 王厚峰 蔡经球 赵沁平 彭木昌 唐永明 陈火旺 李文辉 王秀清 金淳兆

类比推理 基于知识的系统 进化计算 数据相关 程序变换 统计计算 缩略语 创造性 处理功能 计算程序 形式问题模型 搜索 NC机床 遗传程序设计 软件再用 程序分析 优化 格局 FORTRAN语言 算法设计方法 程序数据库 NC程序 面向领域 形式化方法 编译程序 标准化 小辞典 CADCAM系统 推理 类型理论