许志端 杨光文 郭红 李堂秋 刘柏丽 陈怡疆 张克均 曹冬林 苏畅 徐锋峰 史晓东

程序设计方法学 并行处理 人—机接口 程序变换 程序设计语言 递归程序设计 Prolog语言 自动测评 专家系统 抽象模式 句子长度 汉语句子 分级 复合模糊命题 可移植性 规则 自动程序设计 模糊推理 模糊专家系统 模糊数学 Ada语言 语义语法 尾递归 错误类型 弱逻辑关系 计算机代数 研究与实现 模式匹配 递归程序

厦门大学计算机科学系 厦门大学人工智能与计算机研究所 南京大学计算机软件新技术国家重点实验室 南京大学计算机软件新技术国家重点实验室南... 厦门大学计算机系 福建厦门 厦门大学经济学院工商管理（MBA）教育中...