...
机译:在对逻辑程序应用或并行和制表时
DCC-FC & LIACC, Universidade do Porto, Portugal;
or-parallelism; tabling; implementation; performance;
机译:将约束逻辑编程应用于SQL语义分析
机译:可编程逻辑控制器在多段工业数据传输网络中的应用
机译:嵌入式软可编程逻辑控制器(I / O)编译功能控制系统的开发及其在自动光学检测系统中的应用
机译:具有受限的AND并行和OR并行的基于多系统的逻辑程序并行解释器
机译:基于需求的表逻辑程序评估
机译:应用模糊逻辑评估南美登革热的生物地理风险
机译:关于逻辑程序的并行和布线应用
机译:表格高阶逻辑编程