Toggle navigation
Home
Search
Services
Blog
Contact
About
Research on Automatic Theorem Proving and Applications
Bledsoe, Woodrow
University of Texas Austin, Austin, TX, United States
Search 5 grants from Woodrow Bledsoe
Search grants from University of Texas at Austin
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:
Receptor Aggregation on the Cell Surface
Regulation of Receptor-Ligand Interactions
Quantum optical resonators: a building block for quantum computing and sensing systems
The POD Project: Harnessing the Power of Data
Wind, Water and Waves: Interactive Science Education Designed for Middle School Girls
Recently added grants:
Next Generation Multipurpose Intravaginal Ring Technology Using Innovative CLIP 3D Printing
Role of Activin Type II receptor signaling in age-related heart failure
Age-dependent changes in gut microbiota composition and their significance for host aging
Dynamics of antigen specific B and Tfh responses during acute and chronic HCV
Mechanisms of temporal selectivity in the anuran auditory midbrain
Abstract
Funding Agency
Agency
National Science Foundation (NSF)
Institute
Division of Computer and Communication Foundations (CCF)
Application #
8613706
Program Officer
name not available
Project Start
Project End
Budget Start
1987-03-15
Budget End
1990-08-31
Support Year
Fiscal Year
1986
Total Cost
$414,713
Indirect Cost
Institution
Name
University of Texas Austin
Department
Type
DUNS #
City
Austin
State
TX
Country
United States
Zip Code
78712
Comments
Be the first to comment on Woodrow Bledsoe's grant