电脑体验，效果更佳

谢步罡图谱-自然科学领域：

相关人员

顾永立 顾训穰

研究领域

重命名 定理证明 归约 类型检查

所属机构

上海电视大学 复旦大学管理学院 上海大学计算机学院

标签云