退出
我的积分:
中文文献批量获取
外文文献批量获取
刘立本;
垫江县汪家小学校;
平面定义; 公理; 数学混沌学证明;
机译:从数学公理到数学证明规则:证明分析的最新发展
机译:关于希尔伯特空间中线性变换的两个基本定理的证明,无需使用选择公理
机译:公理系统的预处理,以实现更高效的自动化证明和更短的证明
机译:希尔伯特的有限主义:历史,哲学和超数学观点(戴维·希尔伯特)。
机译:奎因数学逻辑新基础中的选择公理
机译:迈向数学概念变化的进化解释:证明和反驳以及概念的公理变异
机译:群体和阿贝尔群体单个公理的证明。
机译:该表通过应用于定义间隔的线条上的颜色系统,给出了音乐触及范围的数学解释的数学证明
机译:使用本体,信念公理,信念断言,前提公理和前提断言进行假设验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。