电脑体验，效果更佳

中介逻辑图谱-计算机领域：

研究人员

朱梧槚 宫宁生 程天笑 张丽珍 潘正华 张东摩

相关术语

模态逻辑 定理证明器 自动定理证明 CRI算法 中介模态逻辑 模糊假言推理 描述逻辑ALC 表推演

标签云