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:
Ohio State University
vs. funders. Who wins?
Read more...
How should you pick the next fundable research topic?
Read more...
Recently viewed grants:
Bile Acids and Clostridium scindens Inhibit C. difficile: Role of Secreted Antibacterial Compounds
Project 1, Miller: Novel Functions of the Epstein-Barr Viral Lytic Cycle Activator Protein ZEBRA
Synergies and Sequencing in Delivery and Payment Reform: Understanding What Works
Low Frequency Modes in Polypeptides & Proteins
Novel Polymer Microgel Dispersions with an Inverse Thermoreversible Gelation
Recently added grants:
Mechanisms of IL-33 secretion in allergic diseases
Investigation of molecular changes in mGluR5 and SV2A to study synaptic alterations in Alzheimer's disease using PET.
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
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