...
机译:重命名一组非角子句
logic for artificial intelligence (AI); automated theorem proving; logic programming; horn and non-horn sets; predicate renaming; NP-completeness;
机译:重命名一组非角子句
机译:重命名一组非角子句
机译:精益条款集:最小不满足条款集的概括
机译:非角子句集的谓词完成
机译:通过嘻哈重命名世界:革命的原声带
机译:除了两个条款判决之外:收购六种语言的子句
机译:将一组子句重命名为Horn组的线性算法