Mathematical Sciences: Conference on Applied Model Theory
Mathematical Sciences: Conference on Applied Model Theory
批准号:
9625584
负责人:
Steffen Lempp
金额:
$0.72万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1996
资助国家:
美国
项目状态:
已结题
起止时间:
1996-03-01 至 1997-02-28
中文摘要
点击翻译按钮获取中文摘要
英文摘要
DMS 9625584 S. Lempp, U. Wisconsin at Madison This conference will take place on March 12-13, 1996, at the close of the annual Association for Symbolic Logic meeting. Its primary aim is to communicate recent developments in Model Theory to a wide range of logicians. The grant will be used for expenses for 9 speakers and 16 graduate students. The student support will be coordinated with funds available via the ASL.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Computability Theory
-
批准号:0555381
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Steffen Lempp
-
依托单位:
Computability Theory
-
批准号:0140120
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2002
-
负责人:Steffen Lempp
-
依托单位:
Computability and Effective Constructions in Mathematics
-
批准号:0075899
-
项目类别:Standard Grant
-
资助金额:$3.52万
-
财政年份:2000
-
负责人:Steffen Lempp
-
依托单位:
Computability, Enumerability, Decidability and Definability
-
批准号:9732526
-
项目类别:Standard Grant
-
资助金额:$9.66万
-
财政年份:1998
-
负责人:Steffen Lempp
-
依托单位:
Workshop in Recursion Theory and Complexity Theory to be held in Kazan, Russia in July, 1997
-
批准号:9707156
-
项目类别:Standard Grant
-
资助金额:$1.55万
-
财政年份:1997
-
负责人:Steffen Lempp
-
依托单位:
Mathematical Sciences: Computability, Decidability, and Definability
-
批准号:9504474
-
项目类别:Continuing Grant
-
资助金额:$8.04万
-
财政年份:1995
-
负责人:Steffen Lempp
-
依托单位:
Mathematical Sciences: Southern Wisconsin Logic Colloquium
-
批准号:9413458
-
项目类别:Standard Grant
-
资助金额:$1.0万
-
财政年份:1994
-
负责人:Steffen Lempp
-
依托单位:
Mathematical Sciences: Recursion Theory
-
批准号:9100114
-
项目类别:Continuing Grant
-
资助金额:$9.49万
-
财政年份:1991
-
负责人:Steffen Lempp
-
依托单位:
Mathematical Sciences: Southern Wisconsin Logic Colloquium
-
批准号:9111849
-
项目类别:Standard Grant
-
资助金额:$0.96万
-
财政年份:1991
-
负责人:Steffen Lempp
-
依托单位:
Mathematical Sciences: Recursion Theory
-
批准号:8901529
-
项目类别:Standard Grant
-
资助金额:$3.86万
-
财政年份:1989
-
负责人:Steffen Lempp
-
依托单位:
Mathematical Sciences: Recursion Theory
-
批准号:8701891
-
项目类别:Standard Grant
-
资助金额:$3.52万
-
财政年份:1987
-
负责人:Steffen Lempp
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Handbook of the Mathematics of the Arts and Sciences的中文翻译
-
批准号:12226504
-
项目类别:数学天元基金项目
-
资助金额:20.0万元
-
批准年份:2022
-
负责人:黄朝凌
-
依托单位:
SCIENCE CHINA: Earth Sciences
-
批准号:41224003
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:魏建晶
-
依托单位:
Journal of Environmental Sciences
-
批准号:21224005
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:冯庆彩
-
依托单位:
SCIENCE CHINA Information Sciences
-
批准号:61224002
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:宋扉
-
依托单位:
SCIENCE CHINA Technological Sciences
-
批准号:51224001
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:安梅
-
依托单位:
SCIENCE CHINA Life Sciences (中国科学 生命科学)
-
批准号:81024803
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:李纪元
-
依托单位:
Journal of Environmental Sciences
-
批准号:21024806
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:冯庆彩
-
依托单位:
SCIENCE CHINA Earth Sciences(中国科学:地球科学)
-
批准号:41024801
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:魏建晶
-
依托单位:
SCIENCE CHINA Technological Sciences
-
批准号:51024803
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:安梅
-
依托单位: