A MACHINE PROGRAM FOR THEOREM-PROVING
Abstract
The programming of a proof procedure is discussed in connection with trial runs and possible improvements. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 08, 1961
- Accession Number
- AD0269378
Entities
People
- Donald Loveland
- George Logemann
- Martin Davis
Organizations
- New York University