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.

Description
Item Description:	"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"--Title page verso.
Physical Description:	ix, 360 pages : illustrations ; 26 cm.
Bibliography:	Includes bibliographies.
ISBN:	082185027X (pbk.)
ISSN:	0271-4132 ;