Product information
€81.93
Stock: In Stock Online
Our USPs
- Free DeliveryExtended Range: Delivery 3-4 working days
- Dubray RewardsEarn 328 Reward Points on this title
Automated Theorem Proving
Product information
Author:
Type: Paperback
ISBN: 9780821850275
Date: 30th December, 1984
Publisher: American Mathematical Society