电脑体验，效果更佳

熊锋图谱-自然科学领域：

相关人员

李桂范 程明 冯速

研究领域

项重写系统 形式自动证明 重写策略 动态项重写计算 运行平台

所属机构

北京师范大学信息科学学院 黑龙江大学数学科学学院 北京师范大学继续教育与教师培训学院 黑龙江哈尔滨

标签云