Due to changes in U.S. customs regulations, all shipments to the United States are now subject to customs clearance.
This means that the recipient will be required to pay customs duties, as well as any applicable taxes and fees upon import.
Please also note that delivery may be delayed while the shipment is being processed by U.S. customs.

Automated Theorem Proving: After 25 Years - Contemporary Mathematics - - Books - American Mathematical Society - 9780821850275 - December 30, 1984

In case cover and title do not match, the title is correct

Tell your friends about this item:

Automated Theorem Proving: After 25 Years - Contemporary Mathematics

Name: Automated Theorem Proving: After 25 Years - Contemporary Mathematics
Price: 69.99 USD
Availability: OutOfStock

Price

$ 69.99

excl. VAT

Ordered from remote warehouse

Expected delivery Dec 29 - Jan 8, 2026

Christmas presents can be returned until 31 January

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Automated Theorem Proving: After 25 Years - Contemporary Mathematics

Media	Books Paperback Book (Book with soft cover and glued back)
Released	December 30, 1984
ISBN13	9780821850275
Publishers	American Mathematical Society
Dimensions	252 × 171 × 14 mm · 486 g
Editor	Bledsoe, W. W
Editor	Loveland, Donald W.