...
机译:逻辑编程中高阶特征的处理
Digital Technology Center and Department of Computer Science and Engineering, University of Minnesota, 4-192 EE/CS Building, 200 Union Street S.E., Minneapolis, MN 55455, USA;
lambda calculus; intensional higher-order programming; higher-order unification; abstract machine; compilation;
机译:学习高阶逻辑程序
机译:高阶程序的关系逻辑
机译:逼近定点理论和高阶逻辑程序的可靠语义
机译:论高阶逻辑规划在面向语言编程中的有效性
机译:验证证明检查高阶逻辑
机译:使用归纳逻辑编程自动识别蛋白质-配体相互作用特征:己糖结合案例研究
机译:逻辑编程中高阶特征的处理
机译:表格高阶逻辑编程