Automated Theorem Proving
Regular price
€123.99
Category=PBC
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Product details
- ISBN 9780821850275
- Weight: 510g
- Publication Date: 30 Dec 1984
- Publisher: American Mathematical Society
- Publication City/Country: US
- Product Form: Paperback
Secure
checkout
Fast Shipping
Easy returns
