Automated theorem proving : after 25 years /

Bibliographic Details
Corporate Authors:	Special Session on Automatic Theorem Proving Denver, Colo., American Mathematical Society
Other Authors:	Bledsoe, W. W., Loveland, Donald W.
Format:	Conference Proceeding Book
Language:	English
Published:	Providence, R.I. : American Mathematical Society, [1984]
Series:	Contemporary mathematics (American Mathematical Society) ; v. 29.
Subjects:	Automatic theorem proving > Congresses.

Remote Storage