A NEW APPROACH IN AUTOMATED THEOREM PROVING

Award Information

Agency: National Science Foundation	Branch: N/A	Award ID: 2621	Program Year/Program: 1985 / SBIR
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
View profile »

Woman-Owned: No

Minority-Owned: Yes

HUBZone-Owned: No

Phase 1: Fiscal Year: 1985

Title: A NEW APPROACH IN AUTOMATED THEOREM PROVING

Agency: NSF

Contract: N/A

Award Amount: $40,000.00

Abstract:
N/A

Principal Investigator:
Sidney C Bailin
Senior Engineer
3038482700

Business Contact:

Small Business Information at Submission:

Computer Technology Associates
5670 S Syracuse Cir Suite 200 Englewood, CO 80111

EIN/Tax ID:

DUNS: N/A

Number of Employees: N/A

Woman-Owned: No

Minority-Owned: No

HUBZone-Owned: No