机译:语义网的答案集编程与描述逻辑的新型组合
机译:通过将描述逻辑转换为不可行的逻辑编程来进行不一致的本体处理
机译:X Path-logic和XPathLog:一种逻辑编程风格的XML数据操作语言
机译:多逻辑单元处理器:用于遗传并行编程的组合逻辑电路评估引擎
机译:用组合逻辑单元编译AHPL描述,以建立可编程逻辑阵列的路径。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:AHPL描述的自动编译可进入可编程逻辑阵列。