电脑体验，效果更佳

苗占禄图谱-自然科学领域：

相关人员

周天山 李京悦 钟宁燕 刘椿年

研究领域

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

所属机构

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

标签云