电脑体验，效果更佳

Warren抽象机（WAM）图谱-自然科学领域：

研究人员

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

相关术语

约束逻辑程序设计（CLP） 非线性约束 多重论域 逻辑程序设计 编译 Prolog编译

标签云