电脑体验，效果更佳

归约策略图谱-计算机领域：

研究人员

陆汝占 奚宏伟 孙永强 林凯 沈理 韩启龙

相关术语

配集 方程式语言 输入模式 必要平行最外归约策略 必要位置 树模式 正则重写系统 必要集 简单模式

标签云