刷新
{{item.name}}会员
Mathematical Sciences: Recursion Theory
数学科学：递归理论
基本信息
- 批准号：8521843
- 负责人：
- 金额：$ 11.44万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing Grant
- 财政年份：1986
- 资助国家：美国
- 起止时间：1986-06-01 至 1990-05-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 }}
Manuel Lerman其他文献
r-Maximal major subsets
- DOI：
10.1007/bf02761377 - 发表时间：
1978-03-01 - 期刊：
- 影响因子：0.800
- 作者：
Manuel Lerman;Richard A. Shore;Robert I. Soare - 通讯作者：
Robert I. Soare
Maximal sets in α-recursion theory
α-递归理论中的最大集
- DOI：
10.1007/bf02764882 - 发表时间：
1973 - 期刊：
- 影响因子：1
- 作者：
Manuel Lerman;S. G. Simpson - 通讯作者：
S. G. Simpson
Degrees of Unsolvability: Local and Global Theory
- DOI：
10.1017/9781316717059 - 发表时间：
1983-07 - 期刊：
- 影响因子：0
- 作者：
Manuel Lerman - 通讯作者：
Manuel Lerman
RECURSIVE FUNCTIONS MODULO CO-r-MAXIMAL SETS*1)
递归函数模 CO-r-最大集*1)
- DOI：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：
Manuel Lerman - 通讯作者：
Manuel Lerman
Manuel Lerman的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Manuel Lerman', 18)}}的其他基金
Mathematical Sciences: An Algebraic Measure of Computational Information Content
数学科学：计算信息内容的代数度量
- 批准号：
9625445 - 财政年份：1996
- 资助金额：
$ 11.44万 - 项目类别：
Standard Grant
Mathematical Sciences: Recursively Enumerable Degrees and Priority Arguments
数学科学：递归可枚举度和优先级参数
- 批准号：
9200539 - 财政年份：1992
- 资助金额：
$ 11.44万 - 项目类别：
Continuing Grant
Mathematical Sciences: Recursion Theory
数学科学：递归理论
- 批准号：
8900349 - 财政年份：1989
- 资助金额：
$ 11.44万 - 项目类别：
Continuing Grant
U.S.-New Zealand Cooperative Research: Degrees of Oracle Computable Functions
美国-新西兰合作研究：Oracle 可计算函数的度数
- 批准号：
8722887 - 财政年份：1988
- 资助金额：
$ 11.44万 - 项目类别：
Standard Grant
Mathematical Sciences: Recursion Theory
数学科学：递归理论
- 批准号：
8300560 - 财政年份：1983
- 资助金额：
$ 11.44万 - 项目类别：
Continuing Grant
A Conference on Mathematical Logic, Storrs, Connecticut, November 11-13, 1979
数理逻辑会议，康涅狄格州斯托斯，1979 年 11 月 11-13 日
- 批准号：
7903308 - 财政年份：1979
- 资助金额：
$ 11.44万 - 项目类别：
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: Some Recursion Theoretic Problems
数学科学：一些递归理论问题
- 批准号：
9622290 - 财政年份：1996
- 资助金额：
$ 11.44万 - 项目类别：
Continuing Grant
Mathematical Sciences: Recursion Theory and Set Theory
数学科学：递归理论和集合论
- 批准号：
9505153 - 财政年份：1995
- 资助金额：
$ 11.44万 - 项目类别：
Continuing Grant
Mathematical Sciences: Some Recursion Theoretic Problems
数学科学：一些递归理论问题
- 批准号：
9214048 - 财政年份：1993
- 资助金额：
$ 11.44万 - 项目类别：
Continuing Grant
Mathematical Sciences: Recursion Theory and Set Theory
数学科学：递归理论和集合论
- 批准号：
9206946 - 财政年份：1992
- 资助金额：
$ 11.44万 - 项目类别：
Continuing Grant
Mathematical Sciences: Recursion Theory
数学科学：递归理论
- 批准号：
9100114 - 财政年份：1991
- 资助金额：
$ 11.44万 - 项目类别：
Continuing Grant
Mathematical Sciences: Recursion Theory
数学科学：递归理论
- 批准号：
8900349 - 财政年份：1989
- 资助金额：
$ 11.44万 - 项目类别：
Continuing Grant
Mathematical Sciences: Recursion Theory and Set Theory
数学科学：递归理论和集合论
- 批准号：
8902555 - 财政年份：1989
- 资助金额：
$ 11.44万 - 项目类别：
Continuing Grant
Mathematical Sciences: Recursion Theory
数学科学：递归理论
- 批准号：
8901529 - 财政年份：1989
- 资助金额：
$ 11.44万 - 项目类别：
Standard Grant
Mathematical Sciences: Some Recursion Theoretic Problems
数学科学：一些递归理论问题
- 批准号：
8910312 - 财政年份：1989
- 资助金额：
$ 11.44万 - 项目类别：
Continuing Grant
Mathematical Sciences: Recursion Theory
数学科学：递归理论
- 批准号：
8800030 - 财政年份：1988
- 资助金额：
$ 11.44万 - 项目类别：
Standard Grant