电脑体验，效果更佳

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

研究人员

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

相关术语

描述逻辑 图模拟 模拟关系 最大不动点语义 描述图 描述逻辑 FLε 混合推理 不动点语义 有限自动机 模型 描述语义 εLN

上位概念

描述逻辑

标签云