退出
我的积分:
中文文献批量获取
外文文献批量获取
无;
机译:Schur分割定理的Alladi-Gordon密钥身份的对合证明
机译:与Schur分区定理有关的Andrews分区函数的组合证明
机译:Schur定理的简单证明
机译:启发式定理证明:另一个SMT模定理证明
机译:使用定理证明进行形式概率分析。
机译:穆纳汉发现的一个定理的证明
机译:关键Galton-Watson树的一个双脊分解和一个 Yaglom定理的概率证明
机译:离散广义更新定理的简单概率证明
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:勾股定理证明的新方法
机译:毕达哥拉斯定理证明难题
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。