电脑体验，效果更佳

朱福喜图谱-自然科学领域：

相关人员

余振坤 傅建明 刘莉萍 韩光鹏 龚昌盛 熊晖

研究领域

次协调反驳 谓词逻辑 时序逻辑 标记逻辑 线性归结 并行计算 死锁 自动推理

所属机构

湖北武汉 武汉大学计算机学院 武汉大学计算机科学与技术学院

标签云