电脑体验，效果更佳

一阶逻辑可归约性图谱-自然科学领域：

研究人员

王海龙 马宗民 严丽 程经纬

相关术语

合取查询 描述逻辑 模糊查询语言 f-DLR-Lite∩

标签云