退出
我的积分:
中文文献批量获取
外文文献批量获取
段雪英; 连鹏宇;
湖南科技学院电子工程系,湖南永州,425100;
吉林油田分公司信息部,吉林松原,138000;
丢番图方程组; Gel'fond-baker方法; 成长-遗传链;
机译:命题证明和NP搜索问题之间的减少
机译:相对论的NP搜索问题和命题证明系统
机译:命题计算等价问题的复杂性
机译:解决搜索问题复杂性的逻辑方法:证明复杂性,量化命题演算和有界算术。
机译:语文教师的控制过程和主观幸福感:生命发展动机理论的关键命题的融合和分歧的证明
机译:毕达哥拉斯定理的三百个证明-某种组合等价命题-小山山教授退休
机译:弱等价原理暗示爱因斯坦等价原理的一个限制证明
机译:从命题逻辑证明满意公式的密码学方法
机译:通过命题逻辑证明可满足公式的密码学方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。