In Stock
Automated theorem proving
Paperback
€81.93
Collect 245 Reward Points
- Free Delivery from
- This Book Is Available Online Only
- Product Details
-
- ISBN
- 9780821850275
- Format
- Paperback
- Publisher
- American Mathematical Society, (30 December 1984)
- Number of Pages
- 360
- Weight
- 510 grams
- Language
- English
- Dimensions
- 171 x 252 x 14 mm
- Series:
- See all books in this series
- Categories: