Toggle navigation
Home
Search
Services
Blog
Contact
About
Lamdba-Calculus, Type Theory, and Automated Theorem Proving
Andrews, Peter
Statman, Richard
Carnegie-Mellon University, Pittsburgh, PA, United States
Search 178 grants from Peter Andrews
Search 4 grants from Richard Statman
Search grants from Carnegie-Mellon University
Share this grant:
:
:
Abstract
Funding
Institution
Comments
Recent in Grantomics:
Your institution
vs. funders. Who wins?
Read more...
How should you pick the next fundable research topic?
Read more...
Recently viewed grants:
RCT Methylphenidate &Memory/Attention Training in Traumatic Brain Injury
Motivating Substance Abusing Batterers to Seek Treatment
Core - Biostatistics
Homozygous Clones of Trout as Models
Molecular Biology of B Cell Tolerance and Activation
Recently added grants:
Motor sequences and basal ganglia-cortical circuits
Data Lakes Meet the Great Lakes: Deep Dives into Diversity in Genomics
Tumor Metabolism and the Microenvironment
Emerging Cell Therapies: Realizing the Vision of NextGen Cell Therapeutics
Targeting trypanosomatid deoxyhypusine synthase
Abstract
Funding Agency
Agency
National Science Foundation (NSF)
Institute
Division of Computer and Communication Foundations (CCF)
Application #
8702699
Program Officer
S. Kamal Abdali
Project Start
Project End
Budget Start
1987-07-01
Budget End
1991-06-30
Support Year
Fiscal Year
1987
Total Cost
$390,061
Indirect Cost
Institution
Name
Carnegie-Mellon University
Department
Type
DUNS #
City
Pittsburgh
State
PA
Country
United States
Zip Code
15213
Comments
Be the first to comment on Peter Andrews's grant