电脑体验，效果更佳

范式定理图谱-自然科学领域：

研究人员

钱李新 王金华 王国俊

相关术语

知识库 模态逻辑系统S5 KB命题 前束范式 一阶逻辑

标签云