A NEW APPROACH IN AUTOMATED THEOREM PROVING

Award Information
Agency:
National Science Foundation
Branch
n/a
Amount:
$40,000.00
Award Year:
1985
Program:
SBIR
Phase:
Phase I
Contract:
n/a
Agency Tracking Number:
2621
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
Computer Technology Associates
5670 S Syracuse Cir, Suite 200, Englewood, CO, 80111
Hubzone Owned:
N
Socially and Economically Disadvantaged:
N
Woman Owned:
N
Duns:
n/a
Principal Investigator:
Sidney C Bailin
Senior Engineer
(303) 848-2700
Business Contact:
() -
Research Institution:
n/a
Abstract
N/A

* information listed above is at the time of submission.

Agency Micro-sites

US Flag An Official Website of the United States Government