...
机译:基于BDD的模态逻辑K决策程序
Department of Computer Science Rice University Houston, Texas, 77005 (USA);
modal logic; binary decision diagram;
机译:经验证的模态逻辑决策程序
机译:直觉模态逻辑的树后计算和决策程序
机译:关系双表格决策程序及其在模态和直觉逻辑中的应用
机译:一阶L-谓词非单调逻辑的二阶逻辑和Z模态逻辑表示命题情况的决策程序
机译:MEM继电器电路基于BDD的逻辑综合。
机译:通过多标准决策程序评估慢性疼痛治疗的治疗方式
机译:基于BDD的模态逻辑K决策程序