退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:具有可构造虚假逻辑的证明理论研究(后续计算和证明理论)
Hasuo Ichiro; Kashima Ryo;
机译:明确分析可构造虚假和河流逻辑的证明/驳旧交互
机译:用于线性逻辑的形式化元化学元理论
机译:子结构逻辑顺序计算的形式化元理论
机译:如何优化模态逻辑中的证明搜索:证明后续计算的冗余标准的新方法
机译:探索证明建构与数学理解之间的关系:以高中生代数证明建构为例。
机译:从真相比较游戏到Gödel逻辑的相依关系计算
机译:双重直觉逻辑与纳尔逊建构逻辑之间的关系(后续计算和证明理论)
机译:正态模态命题逻辑的后续计算
机译:使用可编程阵列逻辑的压力控制顺序
机译:检查顺序逻辑电路
机译:防潮砖砌块防潮剂
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。