电脑体验，效果更佳

程经纬图谱-自然科学领域：

相关人员

马宗民 严丽 王海龙

研究领域

描述逻辑 模糊查询语言 f-DLR-Lite∩ 一阶逻辑可归约性 合取查询

所属机构

东北大学信息科学与工程学院

标签云