电脑体验，效果更佳

鹿蕾图谱-计算机领域：

相关人员

高洪江 覃征 邵利平

研究领域

形式化方法 抽象机 前向精化 反向精化 广义代换 证明义务

所属机构

鲁东大学计算机科学与技术学院 清华大学软件学院 西安交通大学电子与信息工程学院 鲁东大学图书馆

标签云