于国飞 洪汉池 黄红武 邱英汉 凌杰 刘金武 卢建朱

有向图 投影图 邻接矩阵 对象类 安全性 定义 工程模型 推导格式 并行解释 盲签名 逻辑程序 汽车制造 ANDOR处理模型 最大下界 偏序集 尺寸链 函数程序设计 推理机制 大数分解问题 非结构性 数据类 控制流 最小上界 装配定位 基本定理 面向对象程序设计 CAE 元素个数 无穷循环 当前子目标

暨南大学计算机科学系 广东工业大学计算机系 暨南大学计算机系 佛山大学电子系 厦门理工学院机械工程系