Image coming soon
Sale

Automated Theorem Proving: After 25 Years

American Mathematical Society
SKU:
9780821850275
|
UPC:
9780821850275
$64.75 $56.97
(No reviews yet)
Condition:
New
Current Stock:
Adding to cart… The item has been added
Description



  • | Author: Donald W. Loveland, W. W Bledsoe
  • | Publisher: American Mathematical Society
  • | Publication Date: Dec 30, 1984
  • | Number of Pages:
  • | Language:
  • | Binding: Paperback / softback
  • | ISBN-13: 9780821850275
  • | ISBN-10: 082185027X
Additional Information
Author:
Donald W. Loveland, W. W Bledsoe
Publisher:
American Mathematical Society
Publication Date:
Dec 30, 1984
Binding:
Paperback / softback
ISBN-13:
9780821850275
ISBN10:
082185027X
Related Products