退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:恒定域量化模态逻辑,没有布尔否定
Greg Restall;
机译:与合成,翻译后,取反布尔逻辑器件接口的蜂窝信号电路
机译:不合理的逻辑与没有否定失败的逻辑编程
机译:古典否定扩展Belnap-Dunn逻辑的模态和直觉变种
机译:基于常数域语义的模糊一阶模态逻辑描述
机译:模特量化和模态逻辑的比较
机译:与合成器接口的蜂窝信号电路翻译后取反布尔逻辑设备
机译:具有刚性和非刚性名称的恒定域量化模态逻辑的自由变量Tableaux
机译:用于任意脉冲模式的负逻辑级-将可负信号和所需的输出施加到与门,并将恒定测试信号施加到或门
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。