Accession Number:

AD0269378

Title:

A MACHINE PROGRAM FOR THEOREM-PROVING

Descriptive Note:

Corporate Author:

NEW YORK UNIV N Y COURANT INST OF MATHEMATICAL SCIENCES

Report Date:

1961-06-08

Pagination or Media Count:

1.0

Abstract:

The programming of a proof procedure is discussed in connection with trial runs and possible improvements. Author

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE