退出
我的积分:
中文文献批量获取
外文文献批量获取
周训伟;
北京联合大学信息技术研究所 北京 100101;
哥德尔第一不完全性定理; 哥德尔第二不完全性定理; 证明过程有误;
机译:哥德尔不完全性定理对神经科学是否有局限性?
机译:将决策建模为定理证明过程
机译:哥德尔定理无效
机译:OR-ATP:一种作为自动定理证明过程的操作细化方法
机译:哥德尔,Hofstadter,华莱士:大卫福斯特华莱士无限竞赛的Gödelian金属叙事结构
机译:罗素,哥德尔与骗子:集合论和语义悖论与哥德尔不完全性定理的比较
机译:对演绎和绑架模型消除定理证明过程的颠倒元解释
机译:定理定理在那里有定理伴随定理
机译:确定理解度的系统和确定理解度的程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。