退出
我的积分:
中文文献批量获取
外文文献批量获取
侯晓荣; 李洪波; 等;
不详;
“俄罗斯杀手”; 几何定理; 人工证明; 机器证明; 中学; 数学奥林匹克竞赛;
机译:几何定理机器证明的强正常升列分解算法
机译:移动空间:机器人在具有挑战性的汽车零部件制造单元中证明了自己的价值
机译:证明这只是一个简单的击键操作的证明:黑客攻击与FCA的对比显示了连接匆忙的缺陷
机译:基于相干逻辑的几何定理证明,能够产生形式化和可读性证明
机译:不同证明策略对学习几何定理证明的影响。
机译:花粉杀手基因S35功能需要与一个与S24(水稻中另一个花粉杀手基因)接近的激活剂相互作用
机译:几何定理机器证明20年
机译:俄罗斯民主党时刻。定义美国促进俄罗斯民主机会的政策。国家安全第二号空战学院研究
机译:该扬声器具有驱动器和具有第一和第二号角的复合号角,一个在另一个号角之上,第二号角的出口比第一号角更宽,并且两个号角在其外端具有共同的开口。
机译:打算用于安装到用于包装至少第一排和第二排容器的纸箱的结构的用于包装的矩阵,包装装置和形成用于容纳至少一个第一排和第二号埃贡达容器的用于包装的矩阵的包装组件。
机译:具有俄罗斯结构的管形阴极,包括一个从外部schermagnetico出来的磁屏地狱和一个去磁的线圈
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。