电脑体验，效果更佳

动态项重写计算图谱-自然科学领域：

研究人员

程明 冯速 熊锋 李桂范

相关术语

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

标签云