Automated theorem proving : After 25 years /

• Corporate Author: AMS Special Session on Automatic Theorem Proving Denver, Colorado
• Other Authors: Bledsoe, W. W. (ed.), Loveland, Donald W. (ed.)
• Format: Conference Proceeding Book
• Language: English
• Published: Providence : American Mathematical Society, 1984.
• Series: Contemporary mathematics, v. 29; CONM ; v. 29
• Subjects: Computación.; Lógica matemática.
• Physical Description: ix, 360 p. ; 26 cm.
• ISBN: 082185027X
• ISSN: 0271-4132 ;