Amazon cover image
Image from Amazon.com

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

By: Contributor(s): Series: Contemporary mathematics (American Mathematical Society) ; v. 29Publication details: Providence, R.I. : American Mathematical Society, 1984.Description: ix, 360p ; 26cmISBN:
  • 082185027X
Subject(s):
Holdings
Item type Home library Call number Status Date due Barcode Item holds
Long loan Pilkington Library Pilkington Main Collection 511.3/SPE (Browse shelf(Opens below)) Available 0402925785
Total holds: 0

"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"--T.p. verso

Includes bibliographies

There are no comments on this title.

to post a comment.