电脑体验，效果更佳

逻辑蕴涵图谱-自然科学领域：

研究人员

肖卫东 陈子阳 张维明 汤大权 唐九阳 胡艳丽

相关术语

函数依赖 XML 路径编码 数理逻辑 推理规则 客观性 真值表 计算机

标签云