退出
我的积分:
中文文献批量获取
外文文献批量获取
赵立宽; 岳晓鹏;
青岛科技大学,数理学院,山东,青岛,266061;
许昌学院,数学科学学院,河南,许昌461000;
国际象棋; 棋盘问题; 网格图;
机译:Steinhaus棋盘问题的推广
机译:命题Goedel逻辑的完整性和可割性的简单证明
机译:命题解决方案的完整性:简单而建设性的证明
机译:关于类型理论中某些形式无法证明的命题和原型证明的证明
机译:命题证明复杂性的算法应用。
机译:STEINHAUS构想的证明
机译:毕达哥拉斯定理的三百个证明-某种组合等价命题-小山山教授退休
机译:弱等价原理暗示爱因斯坦等价原理的一个限制证明
机译:从命题逻辑证明满意公式的密码学方法
机译:通过命题逻辑证明可满足公式的密码学方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。