机译:关于基准约束逻辑编程平台。回应费尔南德斯和希尔的“布尔和有限域上的八种约束编程语言的比较研究”
机译:有限域上具有多项式约束的约束逻辑程序设计
机译:有限域上的约束功能逻辑编程
机译:约束逻辑编程的替代方法,用于在Prolog专家系统中管理域算术
机译:基于现场可编程门阵列的有限域约束求解器。
机译:朝着组合颜色识别技术的自主水下航行器的基于图像的导航系统的设计和实现以及模糊逻辑控制器
机译:在具有延迟机制的序言系统之上实施有限域约束逻辑编程
机译:约束基于知识的规划域中的逻辑编程