退出
我的积分:
中文文献批量获取
外文文献批量获取
代建伟;
甘肃省静宁县曹务初级中学;
中位线定理; 定理证明; 三角形; 知识; 相似; 逻辑; 北师大版教材; 中小学数学;
机译:初中生三角形接头/相似性证明支持系统中的证明描述表格的检查
机译:关于命题微积分中定理定理证明的知识库
机译:自动定理证明的引理知识中的冗余消除
机译:分析中的三个主题:(I)微积分的基本定理表示代数的基本定理,(II)Riesz表示测度的最小和,以及(III)与Stein流形相似的全纯控制和复杂Banach流形。
机译:三角形倾斜和钢截骨术:常见问题的相似方法
机译:一种基于无向图和多边形三角形测量的新方法,证明四色定理
机译:哪个定理证明。四种定理证明方法综述
机译:零知识证明系统,零知识证明设备,零知识证明设备,零知识证明方法及其程序
机译:零知识证明系统,零知识证明设备,零知识验证设备,零知识证明方法及其程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。