电脑体验，效果更佳

逻辑系统图谱-计算机领域：

研究人员

苏开乐 陈怡海 缪淮扣 郭慧梅 李未

相关术语

计算机系统 计算科学 命题逻辑 以色列 推理 知识库 时态逻辑 定理证明器 信念修正 R-重构 形式化方法 计算机科学 形式化分析 时序逻辑

标签云