机译:逻辑逻辑编程中的参数连接词
Department of Mathematics, University of Calabria, I-87030 Rende (CS), Italy;
机译:归纳逻辑编程和析取逻辑编程:它们的关系和可传递性
机译:逻辑逻辑编程模板程序:操作语义
机译:参数析取编程:值函数的单边微分
机译:一阶拆除逻辑编程VS普通逻辑编程
机译:逻辑逻辑程序设计研究
机译:通过机器学习得出的结构与活动的关系:通过归纳逻辑编程使用原子及其键连接性来预测诱变性。
机译:析取逻辑程序设计中的参数连接