×


 x 

Shopping cart
W. W Bledsoe (Ed.) - Automated Theorem Proving - 9780821850275 - V9780821850275
Stock image for illustration purposes only - book cover, edition or condition may vary.

Automated Theorem Proving

€ 164.98
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

Goodreads reviews for Automated Theorem Proving


Subscribe to our newsletter

News on special offers, signed editions & more!