电脑体验，效果更佳

曾云峰图谱-计算机领域：

相关人员

王磊 朱小栋 沈国华 黄志球

研究领域

描述逻辑 自动演绎 定理机器证明 本体匹配 推理 符号逻辑

所属机构

南京航空航天大学信息科学与技术学院

标签云