A machine program for theorem-proving
By: by Martin Davis, George Logemann, and Donald Loveland.
Contributors: Logemann, George; Loveland, Donald
Publisher: Courant Institute of Mathematical Sciences, New York University
Published: 1961
Place of publication: New York
Language: eng
Number of pages: 13