科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:子结构逻辑的代数证明理论:消除和完成
Ciabattoni Agata; Galatos Nikolaos; Terui Kazushige;
机译:剩余格的Crawley完成和子结构谓词逻辑的代数完备性
机译:子结构逻辑中的证明理论和代数
机译:谓词模态逻辑的可计算性和证明理论的一些结果
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:子结构逻辑的代数证明理论:切除和补全
机译:机械化证明理论:资源意识逻辑和证明转换提取隐含信息
机译:基于Hooji代数原理的多值非逻辑两阶段连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两阶段连接方法,基于Hooji代数的多值双逻辑两步连接方法代数,基于Hooji代数原理的多值偶数逻辑和非逻辑两阶段连接方法,基于Hooji代数原理的多值逻辑补全电路,多值缓冲回路以及用于输入的折线
机译:基于Hooji代数原理的多值非逻辑两级连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两级连接方法,基于Hooji代数的多值非逻辑两步连接方法代数,基于Hooji代数原理的多值偶数和非逻辑两阶段连接方法,基于Hooji代数原理的完全值电路的多值完全性和多值缓冲电路
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。