电脑体验，效果更佳

冯培雄图谱-计算机领域：

相关人员

孙永强 邵志清

研究领域

重写 证明 归纳 几何定理 扩充 完备化 发散 重写系统

所属机构

上海交通大学计算机科学与工程系 华东理工大学计算机科学与工程系

标签云