机译:语言学逻辑编程:对Prolog介绍的简要介绍,以及带有约束的逻辑语法作为语法和语义的简单方法
机译:基于半环的约束逻辑编程:语法和语义
机译:具有定点语义的逻辑谓词介绍。第一部分:逻辑编程
机译:将OWL和语义Web规则转换为序言:转向描述逻辑程序
机译:使用逻辑语法将遗传编程和归纳逻辑编程相结合
机译:可编程逻辑控制器在工业工程课程中的介绍
机译:使用面向概念的术语和面向对象的编程表达式提高Arden语法医学逻辑模块的可读性
机译:使用语法编译Guidnen(摩托罗拉实验室)斯坦福(Motorola Labs)斯坦福(斯坦福在语言学专着),2001年,VIII + 255 PP;芝加哥大学出版社分发;硬质,ISBN 1-57586-305-7,$ 55.00,35.00英镑;纸张,ISBN 0-57586-306-5,$ 20.00,£13.00