MACHINE THEOREM PROVING

Document Details

Document Type
Technical Report
Publication Date
Sep 28, 1961
Accession Number
AD0266139

Entities

People

  • G. Cooke

Organizations

  • Sarnoff Corporation