电脑体验，效果更佳

刘瑛睿图谱-计算机领域：

相关人员

金涛

研究领域

自动定理证明 归纳法推理 基于事例推理 智能教学系统 反射 数学归纳法

所属机构

国家多媒体软件工程研究中心 武汉大学计算机科学与技术系国家多媒体软件...

标签云