退出
我的积分:
中文文献批量获取
外文文献批量获取
郭金彬; 黄长平;
厦门大学哲学系;
福建厦门361005;
不完全性定理; 证明推理; 有限步骤; 无限;
机译:哥德尔不完全性定理对神经科学是否有局限性?
机译:哥德尔定理与科学
机译:语义Tableaux演绎下第二个不完全性定理的界线分离推广和边界案例例外
机译:推理相关性及其对推理信息检索的意义。
机译:近似推理理论中的自动定理证明及其在逻辑程序设计和专家系统中的应用。
机译:数据意义推理系统和数据意义推理方法
机译:非英语科学家的科学英语写作辅助提供系统,具有分析单元和工具,可识别质量更好的科学英语的语言,推理和句法特征
机译:定理定理在那里有定理伴随定理
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。