.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Automated Theorem Proving
W. W Bledsoe (Ed.)
€ 172.31
FREE Delivery in Ireland
Description for Automated Theorem Proving
Paperback. .
Product Details
Publisher
American Mathematical Society United States
Format
Paperback
Publication date
1984
Series
Contemporary Mathematics
Condition
New
Place of Publication
Providence, United States
ISBN
9780821850275
SKU
V9780821850275
Shipping Time
Usually ships in 4 to 8 working days
Ref
99-2
Reviews for Automated Theorem Proving