机译:Logikey Workbench:语言,逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:通过SAT编码进行模态和描述逻辑中的自动推理:K(m)/ ALC可满足性的案例研究
机译:通过SAT编码进行模态和描述逻辑中的自动推理:K {sub} m / ALC可满足性的案例研究
机译:嵌入量化逻辑在Isabelle-Hol中的空间推理
机译:带有微通道空间光调制器的实时光学颜色编码,硬剪切相关,关联存储器和布尔逻辑功能。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:通过saT编码在模态和描述逻辑中进行自动推理: K(m)/ aLC-可满足性的案例研究
机译:模糊逻辑中的三段论推理及其在处理推理中的应用