退出
我的积分:
中文文献批量获取
外文文献批量获取
张弢; 邵全;
沈阳大学基础部;
沈阳工业大学理学院;
辽宁沈阳;
Zorn引理; 链; 上界; 极大元; 选择函数;
机译:通过Zorn的引理证明Sklar定理
机译:向量空间维数定理的Zorn引理证明
机译:没有Zorn引理的幂等超级器
机译:Zorn引理之子:使用实例感知的语义分段进行有针对性的样式转换
机译:后代数系统和后代数:一个明显的事实的证明=后代数系统和后代数:一个明显的事实的证明
机译:具有数百万个引理的学习辅助定理证明
机译:在“包含有理数的域上多项式的(半)定性的代数证明”中陈述的引理证明
机译:广义相对论中Zorn代数的微分性质
机译:在关联,关系和面向对象的数据库中存储术语数据的方法,涉及分别提供引理关键字,定义关键字和变体关键字作为引理,定义和品种元组,分别参考定义
机译:创建和实现具有人类交互证明(HIP)功能的可扩展且有效的多媒体对象,挑战包括用户创建的秘密问题和答案,以及与该秘密问题相对应的广告
机译:证明多项式代数运算的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。