Automated theorem proving : after 25 years /

Saved in:

Bibliographic Details
Corporate Author:	Special Session on Automatic Theorem Proving Denver, Colo.
Other Authors:	Bledsoe, W. W. (Editor), Loveland, Donald W. (Editor)
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Providence, Rhode Island : American Mathematical Society, [1984]
Series:	Contemporary mathematics (American Mathematical Society) ; volume 29.
Subjects:	Automatic theorem proving > Congresses. Electronic books.
Online Access:	Click to View
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

Click to View