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:
Fred Hutchinson Cancer Research Center
vs. funders. Who wins?
Read more...
How should you pick the next fundable research topic?
Read more...
Recently viewed grants:
Ketamine as effective therapeutic option for treatment of obstructive sleep apnea
BPC-AE: Collaborative Research: The ARTSI Alliance: Advancing Robotics Technology for Societal Impact
Charter Party Agreement for R/V Oceanus
Adaptive Impedance Controlled Prostheses
Interpretation and Design Implications of Test Results of the U.S.-Japan Full-Scale Steel Building
Recently added grants:
A systems analysis of drug tolerance in Mycobacterium tuberculosis
Glucose and Amino Acid Catabolism in Plasma Cell Biology
TCR signal strength in thymic selection
Pathogenesis of Borrelia miyamotoi infection and Lyme coinfection in mice
Repertoire selection of AQP4-specific T cells that cause CNS autoimmunedisease
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