autore : Martin Davis
1
pubblicazione
A machine program for theorem-proving (Communications of the ACM, 1962) — Martin Davis, George Logemann, Donald Loveland A machine program for theorem-proving (Communications of the ACM, 1962) — Martin Davis, George Logemann, Donald Loveland