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:
Ohio State University
vs. funders. Who wins?
Read more...
How should you pick the next fundable research topic?
Read more...
Recently viewed grants:
Rapidly Progressive Dementia: Moving Beyond CJD
Pharmacokinetics of Fb 642 in Patients with Advanced Tum
Mechanism of DNA Dependent Cytotoxicity by Chemicals
Graphene-based Ultrasensitive Nanostructures
Systematics, biogeography and diversification of the pantropical angiosperm family Simaroubaceae (Sapindales)
Recently added grants:
Multiparametric ultrasound imaging for early detection of nonalcoholic fatty liver disease
Human Gut Microbiome and Incident Diabetes Risk in U.S. Populations
Assisted Identification and Navigation of Early Mental Health Symptoms in Children
Anti-CV2 autoantibodies unmask a CRMP5/GluN2B pain signaling hub
Cardiac photon counting CT and its application in studying interactions between Alzheimer's and heart disease
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