Automated theorem proving
Subtitle: after 25 years
By: W.W. Bledsoe and D.W. Loveland, editors.
Contributors: Bledsoe, W. W.; Loveland, Donald W.; American Mathematical Society.
Series: Contemporary mathematics,; v. 29; Contemporary mathematics (American Mathematical Society) ;; v. 29.
Publisher: American Mathematical Society
Published: 1984
Place of publication: Providence, R.I
Language: eng
Number of pages: 360
Subjects: Automatic theorem proving -- Congresses.
Notes: Includes bibliographies.
"Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5-9, 1983"--T.p. verso.