Model Theory
Model Theory
批准号:
7802224
负责人:
Julia Knight
金额:
$4.28万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1978
资助国家:
美国
项目状态:
已结题
起止时间:
1978-07-01 至 1981-11-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Computable Structure Theory
-
批准号:1800692
-
项目类别:Continuing Grant
-
资助金额:$16.03万
-
财政年份:2018
-
负责人:Julia Knight
-
依托单位:
Collaboration in Computability
-
批准号:1600625
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2016
-
负责人:Julia Knight
-
依托单位:
Collaboration in Computability
-
批准号:1101123
-
项目类别:Standard Grant
-
资助金额:$8.25万
-
财政年份:2011
-
负责人:Julia Knight
-
依托单位:
Artists' Film and Video Database/Digitised Collection Projects: Addressing sustainability and historiography
-
批准号:AH/E510205/1
-
项目类别:Research Grant
-
资助金额:$3.16万
-
财政年份:2007
-
负责人:Julia Knight
-
依托单位:
Collaboration in Computability
-
批准号:0554841
-
项目类别:Standard Grant
-
资助金额:$7.5万
-
财政年份:2006
-
负责人:Julia Knight
-
依托单位:
Computable Structure Theory
-
批准号:0139626
-
项目类别:Standard Grant
-
资助金额:$3.72万
-
财政年份:2002
-
负责人:Julia Knight
-
依托单位:
Computable Structure Theory
-
批准号:9970452
-
项目类别:Standard Grant
-
资助金额:$2.4万
-
财政年份:1999
-
负责人:Julia Knight
-
依托单位:
Mathematical Sciences: Recursive Model Theory
-
批准号:9504594
-
项目类别:Standard Grant
-
资助金额:$1.53万
-
财政年份:1995
-
负责人:Julia Knight
-
依托单位:
Mathematical Sciences: Recursive Model Theory
-
批准号:9001513
-
项目类别:Continuing Grant
-
资助金额:$11.16万
-
财政年份:1990
-
负责人:Julia Knight
-
依托单位:
Mathematical Sciences: Recursive Model Theory
-
批准号:8701559
-
项目类别:Continuing Grant
-
资助金额:$9.06万
-
财政年份:1987
-
负责人:Julia Knight
-
依托单位:
Mathematical Sciences: Model Theory
-
批准号:8503353
-
项目类别:Standard Grant
-
资助金额:$3.92万
-
财政年份:1985
-
负责人:Julia Knight
-
依托单位:
Recursion Theoretic Problems in Model Theory (Mathematics)
-
批准号:8411225
-
项目类别:Standard Grant
-
资助金额:$3.19万
-
财政年份:1984
-
负责人:Julia Knight
-
依托单位:
Mathematical Sciences: Model Theory
-
批准号:8301272
-
项目类别:Continuing Grant
-
资助金额:$5.67万
-
财政年份:1983
-
负责人:Julia Knight
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Research on Quantum Field Theory without a Lagrangian Description
-
批准号:24ZR1403900
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:SATOSHI NAWATA
-
依托单位:
基于isomorph theory研究尘埃等离子体物理量的微观动力学机制
-
批准号:12247163
-
项目类别:专项项目
-
资助金额:18.00万元
-
批准年份:2022
-
负责人:黄栋
-
依托单位:
Toward a general theory of intermittent aeolian and fluvial nonsuspended sediment transport
-
批准号:--
-
项目类别:--
-
资助金额:55万元
-
批准年份:2022
-
负责人:Thomas Pahtz
-
依托单位:
英文专著《FRACTIONAL INTEGRALS AND DERIVATIVES: Theory and Applications》的翻译
-
批准号:12126512
-
项目类别:数学天元基金项目
-
资助金额:12.0万元
-
批准年份:2021
-
负责人:李常品
-
依托单位:
基于Restriction-Centered Theory的自然语言模糊语义理论研究及应用
-
批准号:61671064
-
项目类别:面上项目
-
资助金额:65.0万元
-
批准年份:2016
-
负责人:史树敏
-
依托单位: