You are here

A NEW APPROACH IN AUTOMATED THEOREM PROVING

Award Information
Agency: National Science Foundation
Branch: N/A
Contract: N/A
Agency Tracking Number: 2621
Amount: $40,000.00
Phase: Phase I
Program: SBIR
Solicitation Topic Code: N/A
Solicitation Number: N/A
Timeline
Solicitation Year: N/A
Award Year: 1985
Award Start Date (Proposal Award Date): N/A
Award End Date (Contract End Date): N/A
Small Business Information
5670 S Syracuse Cir Suite 200
Englewood, CO 80111
United States
DUNS: N/A
HUBZone Owned: No
Woman Owned: No
Socially and Economically Disadvantaged: No
Principal Investigator
 Sidney C Bailin
 Senior Engineer
 (303) 848-2700
Business Contact
Phone: () -
Research Institution
N/A
Abstract

N/A

* Information listed above is at the time of submission. *

US Flag An Official Website of the United States Government