元理论中的自动推理-猫眼课题宝

元理论中的自动推理

批准号：

8004210

负责人：

Frank Brown

金额：

$4.8万

依托单位：

University of Texas at Austin

依托单位国家：

美国

项目类别：

Standard Grant

财政年份：

1980

资助国家：

美国

项目状态：

已结题

起止时间：

1980-06-01 至 1982-11-30

来源：

https://www.nsf.gov/awardsearch/showAward?AWD_ID=8004210&HistoricalAwards=false

关键词：

Automatic Inference Metatheory

项目摘要

项目成果

Frank Brown的其他基金

相似基金

相关文献

中文摘要

翻译

点击翻译按钮获取中文摘要

英文摘要

期刊论文(0)

专著(0)

科研奖励(0)

会议论文

Theoretical methods in chemistry and biophysics

批准号：

1800352
项目类别：

Continuing Grant
资助金额：

$56.1万
财政年份：

2018
负责人：

Frank Brown
依托单位：

University of California-Santa Barbara

MRI: Acquisition of a High Performance Central Computing Facility at University of California Santa Barbara

批准号：

1725797
项目类别：

Standard Grant
资助金额：

$80.0万
财政年份：

2017
负责人：

Frank Brown
依托单位：

University of California-Santa Barbara

Theoretical methods in chemistry and biophysics

批准号：

1465162
项目类别：

Standard Grant
资助金额：

$60.0万
财政年份：

2015
负责人：

Frank Brown
依托单位：

University of California-Santa Barbara

Stochastic methods in chemistry and biophysics

批准号：

1153096
项目类别：

Standard Grant
资助金额：

$56.92万
财政年份：

2012
负责人：

Frank Brown
依托单位：

University of California-Santa Barbara

MRI-R2: Acquisition of a high performance central computing facility at UCSB

批准号：

0960316
项目类别：

Standard Grant
资助金额：

$66.5万
财政年份：

2010
负责人：

Frank Brown
依托单位：

University of California-Santa Barbara

Stochastic methods in chemistry and biophysics

批准号：

0848809
项目类别：

Continuing Grant
资助金额：

$43.5万
财政年份：

2009
负责人：

Frank Brown
依托单位：

University of California-Santa Barbara

CAREER: Stochastic methods in chemistry and biophysics

批准号：

0349196
项目类别：

Standard Grant
资助金额：

$50.5万
财政年份：

2004
负责人：

Frank Brown
依托单位：

University of California-Santa Barbara

Acquisition of a High Performance Central Computing Facility at UCSB

批准号：

0321368
项目类别：

Standard Grant
资助金额：

$44.37万
财政年份：

2003
负责人：

Frank Brown
依托单位：

University of California-Santa Barbara

Starter Grant: Dynamic Elasticity Modeling of Protein Diffusion On the Surface of Red Blood Cells

批准号：

0203221
项目类别：

Standard Grant
资助金额：

$5.0万
财政年份：

2002
负责人：

Frank Brown
依托单位：

University of California-Santa Barbara

Postdoctoral Research Fellowship in Biological Informatics for FY 1999

批准号：

9974250
项目类别：

Fellowship Award
资助金额：

$10.0万
财政年份：

1999
负责人：

Frank Brown
依托单位：

Fellowships

CISE Research Instrumentation: Ambiguity Resolution for Intelligent Systems Using a Cognitive Robot

批准号：

9818341
项目类别：

Standard Grant
资助金额：

$8.0万
财政年份：

1999
负责人：

Frank Brown
依托单位：

University of Kansas Center for Research Inc

Research on a Theory of Design Change

批准号：

9526532
项目类别：

Standard Grant
资助金额：

$3.47万
财政年份：

1995
负责人：

Frank Brown
依托单位：

University of Kansas Center for Research Inc

Verification of Advanced Language (Computer Research)

批准号：

8402412
项目类别：

Continuing Grant
资助金额：

$15.61万
财政年份：

1984
负责人：

Frank Brown
依托单位：

Artificial Intelligence ResearchInstitute of Texas Inc

Automatic Analysis of Algorithms

批准号：

8113510
项目类别：

Standard Grant
资助金额：

$9.01万
财政年份：

1982
负责人：

Frank Brown
依托单位：

University of Texas at Austin

Boolean Equations

批准号：

7701429
项目类别：

Standard Grant
资助金额：

$1.94万
财政年份：

1977
负责人：

Frank Brown
依托单位：

University of Kentucky

Influences of Very Weak Extra-Photic Electromagnetic Fields

批准号：

7301591
项目类别：

Continuing Grant
资助金额：

$7.1万
财政年份：

1974
负责人：

Frank Brown
依托单位：

Northwestern University

海外基金