电脑体验，效果更佳

钟宁燕图谱-自然科学领域：

相关人员

周天山 刘椿年 苗占禄 李京悦

研究领域

编译优化 约束逻辑程序设计（CLP） Warren抽象机（WAM） 编译 逻辑程序设计 非线性约束 Prolog编译 Warren抽象机（WAW）

所属机构

北京工业大学计算机学院 北京工业大学计算机科学系

标签云