退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:论命题逻辑下界的证明方法
Jan Krajícek;
机译:带交点的命题动态逻辑的2-Exptime下界
机译:多项式演算度下界的一种通用证明方法
机译:字符串猜测问题作为证明咨询复杂度下界的一种方法
机译:通过分析方法可以降低沟通复杂性和学习理论的界限。
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:关于在物业测试查询复杂性的下界的通信复杂性方法
机译:命题模态逻辑的矩阵定理证明器的实现
机译:从命题逻辑证明可满足逻辑公式的加密手段
机译:通用提议模态逻辑定理证明装置
机译:命题模态逻辑定理证明装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。