电脑体验，效果更佳

循环术语集图谱-计算机领域：

研究人员

邓培民 周生明 王驹 史忠植 耿继兵 汤庸 蒋运承 覃俊明

相关术语

图模拟 模拟关系 最大不动点语义 描述图 FLε 混合推理 不动点语义

上位概念

描述逻辑

标签云