...
机译:基于半环的约束逻辑编程:语法和语义
Constraints; soft constraints; semantics;
机译:多伴随法线逻辑程序设计的语法和语义
机译:将约束逻辑编程应用于SQL语义分析
机译:Kripke语义对于高阶类型理论应用于约束逻辑编程语言
机译:基于清晰的约束逻辑编程
机译:绑定:基于约束的语法语法界面
机译:使用面向概念的术语和面向对象的编程表达式提高Arden语法医学逻辑模块的可读性
机译:语言学逻辑编程:对Prolog介绍的简要介绍,以及带有约束的逻辑语法作为语法和语义的简单方法
机译:无逻辑逻辑程序中流控制的比较语义