电脑体验，效果更佳

约束变量图谱-计算机领域：

研究人员

方滨兴 赵振西 胡铭曾 王文敏 孙希文 郭剑昆 柯向东

相关术语

指令集 过程调用 归约模型 Prolog 子句 函数表达式 目标环境 快速组合

标签云