电脑体验，效果更佳

约束逻辑程序设计（CLP）图谱-自然科学领域：

研究人员

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

相关术语

多重论域 Warren抽象机（WAM） 非线性约束 编译

标签云