退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:有限值Lukasiewicz可能模态逻辑的复杂性
Blondeel Marjon; De Cock Martine; Flaminio Tommaso;
机译:没有Lukasiewicz型悖论的强大且丰富的4值模态逻辑
机译:由阶数滤波器定义的有限值Lukasiewicz逻辑的最大值
机译:通过布尔分解的有限值Lukasiewicz逻辑的后续计算
机译:有限值的Lukasiewicz模态逻辑是PSPACE完整的
机译:使用多值逻辑在有限域中进行算术运算。
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:对称帧的命题模态逻辑有限变量片段的复杂性
机译:模态和多值逻辑。
机译:在特征2的有限域中构造用于运算的深度和复杂度小的逻辑电路的方法
机译:通过解决有限状态机中的“无关”输出值来最小化逻辑
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。