Automated Theorem Proving: After 25 Years
American Mathematical Society
$74.20
(No reviews yet)
Write a Review
American Mathematical Society
Automated Theorem Proving: After 25 Years
Automated Theorem Proving: After 25 Years
- | Edited By: W. W Bledsoe
- | Publisher: American Mathematical Society
- | Publication Date: Dec 30, 1984
- | Country of Publication: United States
- | Number of Pages: Na pages
- | Language: Unknown
- | Binding: Softback
- | ISBN-10: 082185027X
- | ISBN-13: 9780821850275
- Edited By:
- W. W Bledsoe
- Publisher:
- American Mathematical Society
- Publication Date:
- Dec 30, 1984
- Country of Publication:
- United States
- Language:
- Unknown
- Number of pages:
- Na pages
- Binding:
- Softback
- ISBN-10:
- 082185027X
- ISBN-13:
- 9780821850275