换一批- 最近
- 已收藏
- 排序
- 筛选
- 10
- 5
- 3
- 3
- 3
- 3
- 1
- 中文期刊
- 刊名
- 作者
- 作者单位
- 收录源
- 栏目名称
- 语种
- 医学主题词
- 出版状态
- 外文期刊
- 文献类型
- 刊名
- 作者
- 医学主题词
- 收录源
- 语种
- 学位论文
- 授予学位
- 授予单位
- 会议论文
- 主办单位
- 专 利
- 专利分类
- 专利类型
- 国家/组织
- 法律状态
- 申请/专利权人
- 发明/设计人
- 成 果
- 鉴定年份
- 学科分类
- 地域
- 完成单位
- 标 准
- 强制性标准
- 中标分类
- 标准类型
- 标准状态
- 来源数据库
- 法 规
- 法规分类
- 内容分类
- 效力级别
- 时效性
【外文期刊】 Astor, Eric P. ; Dzhafarov, Damir ; 等 《CASTANEA》 2020年85卷1期 166-198页SCISCIEMEDLINE
- 概要：
- 方法：
- 结论：
【外文期刊】 Freund, Anton ; 《CASTANEA》 2020年85卷1期 511-530页SCISCIEMEDLINE
【关键词】 reverse mathematics;well-ordering principles;Bachmann-Howard fixed points;
- 概要：
- 方法：
- 结论：
【外文期刊】 Shao, Bin ; Wu, Jiayi ; 等 《Journal of Theoretical Biology》 2015年380卷 9-15页SCISCIEMEDLINE
【关键词】 Reverse engineering;Biological network;Minimum network;
- 概要：
- 方法：
- 结论：
【外文期刊】 Shao, Bin ; Wu, Jiayi ; 等 《Journal of Theoretical Biology》 2015年380卷 9-15页SCISCIEMEDLINE
【关键词】 Reverse engineering;Biological network;Minimum network;
- 概要：
- 方法：
- 结论：
【外文期刊】 Nies, Andre ; Shafer, Paul ; 《CASTANEA》 2020年85卷1期 271-299页SCISCIEMEDLINE
【关键词】 computability theory;reverse mathematics;algorithmic randomness;
- 概要：
- 方法：
- 结论：
【外文期刊】 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;
- 概要：
- 方法：
- 结论：
【外文期刊】 Bin,Shao ; Jiayi,Wu ; 等 《Journal of theoretical biology》 2015年380卷 9-15页SCIMEDLINEBP
【关键词】 Biological network;Boolean mathematics;Minimum network;
- 概要：
- 方法：
- 结论：
【外文期刊】 Anton,Freund ; Patrick,Uftring ; 《Philosophical transactions. Series A, Mathematical, physical, and engineering sciences》 2023年381卷2248期 20220016页
【关键词】 ascending descending sequence principle (ADS);chain antichain principle (CAC);dilators;
- 概要：
- 方法：
- 结论：
【外文期刊】 Yongge,Tian ; 《Heliyon》 2020年6卷9期 e04924页
【关键词】 Block matrix methodology;Generalized inverse;Idempotent matrix;
- 概要：
- 方法：
- 结论：
【外文期刊】 Makoto,Fujiwara ; Takako,Nemoto ; 《Philosophical transactions. Series A, Mathematical, physical, and engineering sciences》 2023年381卷2248期 20220010页
【关键词】 constructive reverse mathematics;decomposition;unique choice;
- 概要：
- 方法：
- 结论：
加载中...
