Normal view
MARC view
Loveland, Donald W. (Personal Name)
His Automated theorem proving, 1977.
Conf. on Automated Deduction (6th : 1982 : New York, N.Y.). 6th Conf. on ... 1982: CIP t.p. (D. Loveland) data sheet (b. 12/26/34)
Automated theorem proving, 1984: CIP t.p. (D.W. Loveland)