电脑体验，效果更佳

谓词演算图谱-自然科学领域：

研究人员

刘观生 梅卫锋 吕震宇 夏安邦 曾文飞 宋方敏 颜玲 郭天晨

相关术语

本体需求 归结原理 建立模型 模态逻辑系统 故障诊断 存在量词 可能世界 问题求解

标签云