退出
我的积分:
中文文献批量获取
外文文献批量获取
程进;
发气体排放网 www.85fjs1.com;
北京 102218;
发展数学 www.fzsxflp.com;
海峡; 误差; 落差; 温室气体排放; 均衡; 举一反三;
机译:用连续策略直接由Sperner引理和近似Nash平衡证明Fan-Glicksberg不动点定理的构造形式的证明:构造分析
机译:通过CANTOR功能证明URYSOHN的引理和Tietze推广定理
机译:通过Zorn的引理证明Sklar定理
机译:自动定理证明的引理知识中的冗余消除
机译:通过定理证明进行数据模型验证。
机译:具有数百万个引理的学习辅助定理证明
机译:关于在没有免费处置的情况下证明大型经济中均衡存在的问题:一个由法头引理在多个维度上引起的纯粹有限相加措施的问题:总统致辞(数学经济学)
机译:一种用于递归函数理论的引理驱动自动定理证明器。
机译:实现国际支付系统中的银行间金融交易时,要根据移动支付环境中的移动电话实现银行卡持有人多因素严格身份验证的方法,并根据证明书的3D担保书和证明书的要求方法
机译:使用有效定理证明进行设计验证
机译:利用有效定理证明进行设计验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。