Overview
- | 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
Automated Theorem Proving: After 25 Years
Was:
$64.75
Now:
$56.97
(No reviews yet)
Write a Review
Write a Review
American Mathematical Society
Automated Theorem Proving: After 25 Years
Product Details
- Author:
- Donald W. Loveland, W. W Bledsoe
- Publisher:
- American Mathematical Society
- Publication Date:
- Dec 30, 1984
- Binding:
- Paperback / softback
- ISBN-13:
- 9780821850275
- ISBN10:
- 082185027X
Reviews
0 Reviews
No reviews yet.
Share your experience and help another reader choose their next book.
You may also like
Shop all
Proving History: Bayes's Theorem and the Quest for the Historical Jesus
Prometheus Books
$22.91
$18.27