Access Restriction

Author Loveland, Donald ♦ Davis, Martin ♦ Logemann, George
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Abstract The programming of a proof procedure is discussed in connection with trial runs and possible improvements.
Description Affiliation: Institute of Mathematical Sciences, New York Univ., New York (Davis, Martin; Logemann, George; Loveland, Donald)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 5
Issue Number 7
Page Count 4
Starting Page 394
Ending Page 397

Open content in new tab

   Open content in new tab
Source: ACM Digital Library