Recursive Algebra and Analysis
Recursive Algebra and Analysis
批准号:
8017073
负责人:
Richard Shore
金额:
$1.56万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1981
资助国家:
美国
项目状态:
已结题
起止时间:
1981-01-01 至 1985-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Logic and Computability
-
批准号:1161175
-
项目类别:Continuing Grant
-
资助金额:$33.0万
-
财政年份:2012
-
负责人:Richard Shore
-
依托单位:
[Environment] WILDCOMS-Wildlife Disease & Contaminant Monitoring & Surveillance Network
-
批准号:NE/I021063/1
-
项目类别:Research Grant
-
资助金额:$12.54万
-
财政年份:2011
-
负责人:Richard Shore
-
依托单位:
Logic and Computability
-
批准号:0852811
-
项目类别:Standard Grant
-
资助金额:$36.0万
-
财政年份:2009
-
负责人:Richard Shore
-
依托单位:
Logic and Computability
-
批准号:0554855
-
项目类别:Continuing Grant
-
资助金额:$21.0万
-
财政年份:2006
-
负责人:Richard Shore
-
依托单位:
Logic and Computability
-
批准号:0100035
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2001
-
负责人:Richard Shore
-
依托单位:
Logic and Computability
-
批准号:9802843
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1998
-
负责人:Richard Shore
-
依托单位:
Complexity in the Constructive and Intuitionistic Theory of Reals
-
批准号:9704337
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1997
-
负责人:Richard Shore
-
依托单位:
Computability, Logic and Complexity
-
批准号:9602579
-
项目类别:Standard Grant
-
资助金额:$2.76万
-
财政年份:1997
-
负责人:Richard Shore
-
依托单位:
Mathematical Sciences: Logic and Computability
-
批准号:9503503
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1995
-
负责人:Richard Shore
-
依托单位:
Support for Latin American Symposium on Mathematical Logic; Bahia Blanca, Argentina; July 1992
-
批准号:9123305
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:1992
-
负责人:Richard Shore
-
依托单位:
Mathematical Sciences: Meeting: Logical Methods in Mathematics and Computer Science
-
批准号:9203905
-
项目类别:Standard Grant
-
资助金额:$0.7万
-
财政年份:1992
-
负责人:Richard Shore
-
依托单位:
海外基金