机译:逻辑程序的改进的证明理论汇编
Department of Computer Science, Carnegie Mellon University;
compilation; abstract logic programming; hereditary harrop formulas; well-moded logic programs;
机译:用削减消除法对λ约简进行的证明理论处理:λ-微积分作为逻辑编程语言
机译:抽象超一致逻辑程序设计的统一证明理论基础
机译:概率逻辑程序中的TP编译
机译:表式高阶逻辑编程的证明理论基础
机译:用组合逻辑单元编译AHPL描述,以建立可编程逻辑阵列的路径。
机译:使用面向概念的术语和面向对象的编程表达式提高Arden语法医学逻辑模块的可读性
机译:一种改进的逻辑程序证明理论编译