退出
我的积分:
中文文献批量获取
外文文献批量获取
张树胜;
山东龙口市中村中学;
机译:关于一个结的分支循环覆盖的同构性的一个计划定理的简短证明
机译:随机拉姆西定理的一个简短证明
机译:矩形格的全同表示定理的一个简短证明
机译:启发式定理证明:另一个SMT模定理证明
机译:Ravenel和Wilson的一个定理的推广。
机译:Doob–Meyer定理的简短证明
机译:矩阵逆的双边性的一个简短的基本证明
机译:主要Bahadur-Kiefer定理的简短证明
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:用于从多个简短文档中将一个简短文档与另一个简短文档进行配对的系统,方法和装置
机译:勾股定理证明的新方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。