换一批- 最近
- 已收藏
- 排序
- 筛选
- 8
- 4
- 3
- 2
- 2
- 2
- 中文期刊
- 刊名
- 作者
- 作者单位
- 收录源
- 栏目名称
- 语种
- 主题词
- 外文期刊
- 文献类型
- 刊名
- 作者
- 主题词
- 收录源
- 语种
- 学位论文
- 授予学位
- 授予单位
- 会议论文
- 主办单位
- 专 利
- 专利分类
- 专利类型
- 国家/组织
- 法律状态
- 申请/专利权人
- 发明/设计人
- 成 果
- 鉴定年份
- 学科分类
- 地域
- 完成单位
- 标 准
- 强制性标准
- 中标分类
- 标准类型
- 标准状态
- 来源数据库
- 法 规
- 法规分类
- 内容分类
- 效力级别
- 时效性
【外文期刊】 D,Fernández-Duque ; P,Shafer ; 等 《Philosophical transactions. Series A, Mathematical, physical, and engineering sciences》 2023年381卷2248期 20220012页
【关键词】 computability theory;fixed-point theorems;reverse mathematics;
【外文期刊】 Francesca,Zaffora Blando ; 《Studies in history and philosophy of science》 2024年106卷 196-207页SCIMEDLINE
【关键词】 Algorithmic randomness;Computability theory;Foundations of probability and statistics;
【外文期刊】 Matteo,Plebani ; Luca,San Mauro ; 《Clinical chemistry and laboratory medicine》 2022年60卷12期 1862-1866页SCIMEDLINECABP
【关键词】 Rice’s theorem;computability theory;conceptual engineering;
【外文期刊】 Nikolay,Bazhenov ; Manat,Mustafa ; 等 《Archive for mathematical logic》 2020年59卷7期 835-864页
【关键词】
【外文期刊】 Nikolay,Bazhenov ; Manat,Mustafa ; 等 《Synthese》 2023年201卷2期 55页SCIMEDLINE
【外文期刊】 Nies, Andre ; Shafer, Paul ; 《CASTANEA》 2020年85卷1期 271-299页SCISCIEMEDLINE
【关键词】 computability theory;reverse mathematics;algorithmic randomness;
【外文期刊】 Matteo,Plebani ; Luca,San Mauro ; 《Clinical chemistry and laboratory medicine: CCLM》 2022年60卷12期 1862-1866页SCISCIEMEDLINE
【关键词】 computability theory;conceptual engineering;Rice’s theorem;
【外文期刊】 Troy Day ; 《Journal of the Royal Society Interface》 2012年9卷TN.69期 624-639页
【关键词】 evolutionary prediction;computability;philosophy of logic;
加载中...
