Accession Number:

AD0266139

Title:

MACHINE THEOREM PROVING

Descriptive Note:

Corporate Author:

DAVID SARNOFF RESEARCH CENTER PRINCETON N J

Personal Author(s):

Report Date:

1961-09-28

Pagination or Media Count:

1.0

Abstract:

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE