退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:双古典连接逻辑及其模态扩展:削减,完整性和二元性
Norihiro Kamide;
机译:模态逻辑中的算法对应性和完整性SQEMA的递归扩展
机译:模态逻辑中的算法对应和完整性。三,用替换对SQEMA算法的扩展
机译:模态逻辑IV中的算法对应关系和完整性。 SQEMA的语义扩展
机译:通过没有充分根据的证明来消除模态Grzegorczyk逻辑的剪切
机译:模态逻辑的有效完整性定理。
机译:通过Toffoli量子门的经典逻辑整体型扩展
机译:模态逻辑中的算法对应关系和完整性。 V. SQEMA的递归扩展
机译:基于Hooji代数原理的多值非逻辑两级连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两级连接方法,基于Hooji代数的多值非逻辑两步连接方法代数,基于Hooji代数原理的多值偶数和非逻辑两阶段连接方法,基于Hooji代数原理的完全值电路的多值完全性和多值缓冲电路
机译:带有环形盖的环形机器人系统中诊断和手术外壳的夹紧和保持的延伸元件的单独往复转动的功能结构(俄罗斯逻辑版本2)
机译:环盖环形机器人系统中诊断和外科房屋的夹紧和固定的延伸元件的单独往复转弯的功能结构(俄罗斯逻辑版本1)。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。