Description: Automated Theorem Proving : After 25 Years, Paperback by Bledsoe, W. W.; Loveland, Donald W. (EDT), ISBN 082185027X, ISBN-13 9780821850275, Like New Used, Free P&P in the UK
Price: 157.72 GBP
Location: Castle Donington
End Time: 2025-02-01T09:11:29.000Z
Shipping Cost: 19.55 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 30 days
Book Title: Automated Theorem Proving : After 25 Years
Publisher: American Mathematical Society
Publication Year: 1984
Subject: Mathematics
Language: English
Publication Name: Automated Theorem Proving: after 25 Years
Item Weight: 510 g
Type: Textbook
Author: W. W Bledsoe, Donald W. Loveland
Series: Contemporary Mathematics
Format: Paperback
