电脑体验，效果更佳

中介逻辑图谱-自然科学领域：

研究人员

潘正华 莫志浩

相关术语

语义解释 分解为 基子句 可满足性问题 联结词 赋值 重庆大学 合式公式 中国计算机 设计与分析 多值逻辑 独立性 析取范式 原子命题 形式推理规则 模型 学术讨论会 形式定理

标签云