刷新
{{item.name}}会员
Mathematical Sciences: Recursive Function Theory
数学科学：递归函数论
基本信息
- 批准号：8301138
- 负责人：
- 金额：$ 6.99万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1983
- 资助国家：美国
- 起止时间：1983-07-01 至 1985-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Robert Soare其他文献
Robert Soare的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Robert Soare', 18)}}的其他基金
Mathematical Sciences: Computability Theory and Logic
数学科学：可计算性理论与逻辑
- 批准号：
9400825 - 财政年份：1994
- 资助金额：
$ 6.99万 - 项目类别：
Standard Grant
U.S.-Germany Cooperative Research in Mathematical Logic
美德数理逻辑合作研究
- 批准号：
9023096 - 财政年份：1991
- 资助金额：
$ 6.99万 - 项目类别：
Standard Grant
Mathematical Sciences: Recursive Function Theory
数学科学：递归函数论
- 批准号：
9106714 - 财政年份：1991
- 资助金额：
$ 6.99万 - 项目类别：
Continuing Grant
Mathematical Sciences: Recursive Function Theory
数学科学：递归函数论
- 批准号：
8807389 - 财政年份：1988
- 资助金额：
$ 6.99万 - 项目类别：
Continuing Grant
U.S.-Federal Republic of Germany Cooperative Research in Mathematical Logic
美德意志联邦共和国数理逻辑合作研究
- 批准号：
8722296 - 财政年份：1988
- 资助金额：
$ 6.99万 - 项目类别：
Standard Grant
Acquisition of Equipment for Computer Research
购置计算机研究设备
- 批准号：
8514403 - 财政年份：1985
- 资助金额：
$ 6.99万 - 项目类别：
Standard Grant
Mathematical Sciences: Recursive Function Theory
数学科学：递归函数论
- 批准号：
8502486 - 财政年份：1985
- 资助金额：
$ 6.99万 - 项目类别：
Continuing Grant
Computer Research and Mathematical Sciences: Workshop on Computational Complexity, May 2-4, l985, University of Chicago, Chicago, Illinois
计算机研究和数学科学：计算复杂性研讨会，1985 年 5 月 2-4 日，芝加哥大学，芝加哥，伊利诺伊州
- 批准号：
8507772 - 财政年份：1985
- 资助金额：
$ 6.99万 - 项目类别：
Standard Grant
相似国自然基金
Handbook of the Mathematics of the Arts and Sciences的中文翻译
- 批准号：12226504
- 批准年份：2022
- 资助金额：20.0 万元
- 项目类别：数学天元基金项目
SCIENCE CHINA: Earth Sciences
- 批准号：41224003
- 批准年份：2012
- 资助金额：24.0 万元
- 项目类别：专项基金项目
Journal of Environmental Sciences
- 批准号：21224005
- 批准年份：2012
- 资助金额：24.0 万元
- 项目类别：专项基金项目
SCIENCE CHINA Information Sciences
- 批准号：61224002
- 批准年份：2012
- 资助金额：24.0 万元
- 项目类别：专项基金项目
SCIENCE CHINA Technological Sciences
- 批准号：51224001
- 批准年份：2012
- 资助金额：24.0 万元
- 项目类别：专项基金项目
Journal of Environmental Sciences
- 批准号：21024806
- 批准年份：2010
- 资助金额：24.0 万元
- 项目类别：专项基金项目
SCIENCE CHINA Life Sciences (中国科学 生命科学)
- 批准号：81024803
- 批准年份：2010
- 资助金额：24.0 万元
- 项目类别：专项基金项目
SCIENCE CHINA Earth Sciences(中国科学：地球科学)
- 批准号：41024801
- 批准年份：2010
- 资助金额：24.0 万元
- 项目类别：专项基金项目
SCIENCE CHINA Technological Sciences
- 批准号：51024803
- 批准年份：2010
- 资助金额：24.0 万元
- 项目类别：专项基金项目
相似海外基金
Mathematical Sciences: Recursive Model Theory
数学科学：递归模型理论
- 批准号：
9504594 - 财政年份：1995
- 资助金额：
$ 6.99万 - 项目类别：
Standard Grant
Mathematical Sciences: Recursive Function Theory
数学科学：递归函数论
- 批准号：
9106714 - 财政年份：1991
- 资助金额：
$ 6.99万 - 项目类别：
Continuing Grant
Mathematical Sciences: Recursive Model Theory
数学科学：递归模型理论
- 批准号：
9001513 - 财政年份：1990
- 资助金额：
$ 6.99万 - 项目类别：
Continuing Grant
Mathematical Sciences: Recursive Function Theory
数学科学：递归函数论
- 批准号：
8807389 - 财政年份：1988
- 资助金额：
$ 6.99万 - 项目类别：
Continuing Grant
Mathematical Sciences: Robust Recursive Procedures and Computationally Efficient Detection of Model Failures
数学科学：稳健的递归过程和模型故障的计算高效检测
- 批准号：
8706393 - 财政年份：1987
- 资助金额：
$ 6.99万 - 项目类别：
Continuing grant
Mathematical Sciences: Recursive Model Theory
数学科学：递归模型理论
- 批准号：
8701559 - 财政年份：1987
- 资助金额：
$ 6.99万 - 项目类别：
Continuing Grant
Mathematical Sciences: Hopf Algebras, Umbral Calculus and Linearly Recursive Sequences
数学科学：Hopf 代数、本影微积分和线性递归序列
- 批准号：
8610183 - 财政年份：1986
- 资助金额：
$ 6.99万 - 项目类别：
Standard Grant
Mathematical Sciences: Recursive Function Theory
数学科学：递归函数论
- 批准号：
8502486 - 财政年份：1985
- 资助金额：
$ 6.99万 - 项目类别：
Continuing Grant
Mathematical Sciences: A Symposium on Recursive and Sequential Statistical Procedures, Empirical Bayes Methodology, & Related Topics; NY,NY; June 7-11, 1985
数学科学：递归和顺序统计过程研讨会、经验贝叶斯方法论、
- 批准号：
8417568 - 财政年份：1985
- 资助金额：
$ 6.99万 - 项目类别：
Standard Grant
Combinatorial Analysis: Partially Ordered Sets, Graph Theory, Ramsey Theory, Algorithms, and Recursive Combina- Torics (Mathematical Sciences)
组合分析：偏序集、图论、Ramsey 理论、算法和递归组合 Torics（数学科学）
- 批准号：
8202172 - 财政年份：1982
- 资助金额：
$ 6.99万 - 项目类别：
Standard Grant