电脑体验，效果更佳

周天山图谱-自然科学领域：

相关人员

钟宁燕 苗占禄 刘椿年 李京悦

研究领域

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

所属机构

北京工业大学计算机学院

标签云