退出
我的积分:
中文文献批量获取
外文文献批量获取
童心童画;
机译:哥德尔不完全性定理对神经科学是否有局限性?
机译:使用名义伊莎贝尔(Isabelle)的Godel不完全性定理的机械证明
机译:基于Vopěnka,Chaitin和Boolos基于Berry悖论的不完全性定理的证明
机译:在与3x + 1问题有关的周期序列的构造中数字重复的存在:关于在Collatz问题中出现的周期序列的项的3 adic表示中的周期的定理证明
机译:用实验数学猜想和证明定理在分配和可交换与非可交换递归理论中。
机译:哥德尔的不完全性定理是否证明真理超越了证明?
机译:分布式共识问题的简单不可能性证明
机译:数学教育服务系统,一种服务方法,一个数学问题分析和生成装置,以及一种能够通过变换数学问题向学习者提供各种问题类型的方法
机译:数学教育服务系统,数学教育服务终端,学生终端,提供数学问题的云计算服务设备,数学问题学习服务提供方法以及云计算服务提供方法
机译:?用于从数学问题中自动提取概念并从一组数学概念中动态构建和测试数学问题的创建的系统?
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。