电脑体验，效果更佳

王驹图谱-计算机领域：

相关人员

唐素勤 白硕 刘真环 邓培民 周生明 蒋运承 张师超 吴寅

研究领域

描述语义 tableaux 模糊动态描述逻辑 翻译 CIM模型 二阶逻辑 有穷基 最小公共包含

所属机构

广西桂林 广东广州 中国科学院软件研究所 广西师范大学数学科学学院 中国科学院计算技术研究所 国家智能计算机研究开发中心 广西师范大学数学与计算机科学系 中国科学院计算机科学国家重点实验室

标签云