电脑体验，效果更佳

申宇铭图谱-计算机领域：

相关人员

曹存根 王驹 汤庸 眭跃飞 马越 蒋运承

研究领域

tableaux 一阶逻辑 推理算法 语义满翻译 翻译 描述逻辑 FALNUI 模糊描述逻辑

所属机构

中国科学院研究生院 中山大学计算机科学系 广西师范大学计算机科学与信息工程学院 广西师范大学计算机科学与信息工程学院桂林 中国科学院计算技术研究所智能信息处理重点...

标签云