电脑体验，效果更佳

模糊查询语言图谱-自然科学领域：

研究人员

严丽 程经纬 王海龙 马宗民

相关术语

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

标签云