Department of Computer Science, University of Oxford Wolfson Building, Parks Road, OX1 3QD, UK;
Department of Computer Science, University of Oxford Wolfson Building, Parks Road, OX1 3QD, UK;
Department of Computer Science, University of Oxford Wolfson Building, Parks Road, OX1 3QD, UK;
机译:用于图结构并发编程的线性逻辑编程语言
机译:Max-Clique逻辑编程及其在图形着色中的应用(工具说明)
机译:代数域中的从句逻辑和逻辑编程
机译:使用描述图和逻辑编程建模结构域
机译:用组合逻辑单元编译AHPL描述,以建立可编程逻辑阵列的路径。
机译:通过机器学习进行药物设计:使用归纳逻辑编程来建模甲氧苄啶类似物与二氢叶酸还原酶结合的构效关系。
机译:使用描述图和逻辑编程对结构化域进行建模