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:
Nonstructural 4B Protein and Hepatitus C Virus Production
The roles of the afferent and efferent visual systems in guiding human visual dev
Transcriptional profiling and annotation of the Chlamydomonas genome
Membrane Electrical Properties of Vascular Muscle
Response of Wood Frame Houses to High Winds
Recently added grants:
Effort-Based Decision Making and Motivated Behavior in Everyday Life
Neural Mechanisms of Monoaminergic Engagement in Late-Life Depression Treatment Response (NEMO)
Epigenetic roles of DNA adenine methylation in stress response
Molecular tools for labeling and manipulating functional brain circuits
Interrogating Neuronal Membrane Potential Dynamics with Optical Voltage Sensors
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