机译:通过嵌套顺序的时态逻辑和双直觉逻辑的句法插值
机译:基于格值命题逻辑LP(X)的多元α语义自动推理
机译:基于格值命题逻辑LP(X)的α自动推理方法
机译:基于BDD的命题双直觉时态逻辑的自动推理
机译:MEM继电器电路基于BDD的逻辑综合。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:关于双直觉命题逻辑的后续计算
机译:近似推理理论中的自动定理证明及其在逻辑程序设计和专家系统中的应用。