电脑体验，效果更佳

李京悦图谱-自然科学领域：

相关人员

苗占禄 周天山 刘椿年 钟宁燕

研究领域

编译 多重论域 非线性约束 约束逻辑程序设计（CLP） Warren抽象机（WAM）

所属机构

北京工业大学计算机学院

标签云