退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:Pomset逻辑:经典线性逻辑的非交换性扩展
Christian Retoré;
机译:用于恢复经典逻辑的子经典逻辑的模态扩展
机译:用于恢复古典逻辑的亚古典逻辑的模态扩展
机译:在古典高阶逻辑中组合和自动化古典和非古典逻辑
机译:关于将经典逻辑转换为极化线性逻辑
机译:弥合基于古典逻辑的形式主义与逻辑程序之间的鸿沟
机译:通过Toffoli量子门的经典逻辑整体型扩展
机译:非交换线性逻辑乘法片段的图论特征定理(初步报告)(非经典逻辑及其Kripke语义)
机译:具有线性反馈的移位寄存器具有由各个逻辑门形成的“异或”逻辑,并且至少两个门连接到两个不同的触发器,这些触发器布置在触发器的上游,这些触发器的输出被馈送到逻辑
机译:小波和非经典逻辑的电力变压器绝缘缺陷早期检测过程
机译:经典逻辑控制的气溶胶和微波热裂解工艺没有
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。