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

Automated Theorem Proving: After 25 Years - Contemporary Mathematics

Price
$ 167.99

Ordered from remote warehouse

Expected delivery Oct 16 - 25

Our customers say:

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.