电脑体验，效果更佳

陆朝俊图谱-计算机领域：

相关人员

王志坚 杨继锋 邵志清 王军 徐淑颋 孙永强 陈昌生 杨敏

研究领域

归纳 混合语言 项重写系统 函数程序设计语言 类型系统 程序综合 定理证明 函数式语言

所属机构

华东理工大学计算机系 上海交通大学计算机科学与工程系 华东理工大学计算机科学与工程系

标签云