电脑体验，效果更佳

覃俊明图谱-计算机领域：

相关人员

耿继兵 蒋运承 王驹

研究领域

最大不动点语义 图模拟 描述图 循环术语集 FLε 描述逻辑

所属机构

广西师范大学数学科学学院 中国科学院计算机科学国家重点实验室 广西师范大学计算机科学与信息工程学院

标签云