LIRMM, 161 rue ADA, 34392 Montpellier CEDEX 5, FRANCE;
LIRMM, 161 rue ADA, 34392 Montpellier CEDEX 5, FRANCE;
LIRMM, 161 rue ADA, 34392 Montpellier CEDEX 5, FRANCE;
机译:分布式环境中程序的警卫号角条款的语义
机译:归约系统中纯角子句逻辑编程的实现
机译:非角子句逻辑编程的复杂性
机译:喇叭子句编程中的线性核心Hopfield神经网络方法
机译:使用horn子句和二进制决策图进行程序分析。
机译:在线多模态鲁棒非负字典学习的视觉跟踪
机译:关于Coalgebra的第一次研讨会的会议记录,Horn Clause Logic 编程和类型