退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:类型一阶逻辑的理论证明
徐丹;
机译:通过简化为一阶单分类逻辑,简单证明二阶古典和直觉逻辑的完备性定理
机译:一阶弱克莱恩逻辑的结构证明理论
机译:一阶逻辑的启发式证明程序
机译:N自由球集的Buechi型定理和一阶逻辑的模型理论证明
机译:基于NAF的逻辑语义:校样理论泛化和非地扩展
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:Büchi型定理和N-free pomsets的一阶逻辑的模型理论证明
机译:FOL:一个针对一阶逻辑的证明检查员
机译:燃料电池装置,具有逻辑控制器,可计算燃料电池产生的实际电荷以与理论电荷进行比较,并在理论电荷超过实际电荷超过阈值时检测装置中的气体泄漏
机译:无限制一阶逻辑的自动证明方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。