陆汝占 韩启龙 孙永强 高岭 奚宏伟 李增智

树模式 对象Web CORBA 文字 终止性 归结式 输入模式 谓词符号 拟序关系 F模式 教务管理 归约策略 方程式语言 半正则 对象web 递归 模式化 归纳假设 简单模式 管理信息系统 重写规则 BS 遗传因子 CS 配集 完备性 企业园区网 重写系统 路径 碰撞

上海交通大学计算机系 西北大学网络中心 西安交通大学计算机系