Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors.

Saved in:

Bibliographic Details
Corporate Authors:	Special Session on Automatic Theorem Proving Denver, Colo., American Mathematical Society. Meeting
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.

Holdings details from Science Library
Call Number:	QA76.9.A96 S64 1983
Status:	Available

Similar Items