Toggle navigation
Home
Search
Services
Blog
Contact
About
A Prolog Technology Theorem Prover
Stickel, Mark
Tyson, W. Marby
Sri International, Menlo Park, CA, United States
Search 7 grants from Mark Stickel
Search grants from W. Marby Tyson
Search grants from SRI International
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:
Engineered pH-Responsive Nanoparticle Drug Delivery to Inhibit Oral Biofilm Formation
Preclinical development and clinical monitoring of adoptive immune therapy
Core - Flow Cytometry Facility
Drug Abuse Prevention Program Follow Up Study
Professional Nurse Traineeship Program
Recently added grants:
Regulatory Impact on Vape Shops and Young Adults' Use of ENDS
DNA-Protein Crosslinks and Genomic Instability
Identifying Immune Mechanisms for Microbiota-Inhibition of Anti-PD-L1 Tumor Response
Improved cancer screening with synthetic and stationary 3D mammography
Optimizing Response to Immune Checkpoint Inhibitor Therapy for Breast Cancer: A Role for Inhibitors of the PI3K pathway
Abstract
Funding Agency
Agency
National Science Foundation (NSF)
Institute
Division of Computer and Communication Foundations (CCF)
Application #
8611116
Program Officer
name not available
Project Start
Project End
Budget Start
1987-03-15
Budget End
1989-08-31
Support Year
Fiscal Year
1986
Total Cost
$228,330
Indirect Cost
Institution
Name
Sri International
Department
Type
DUNS #
City
Menlo Park
State
CA
Country
United States
Zip Code
94025
Comments
Be the first to comment on Mark Stickel's grant