Makeen books shop contact
  1. Home
  2. Mathematics & science
  3. Mathematics
  4. Automated Theorem Proving

Automated Theorem Proving

9780821850275

Automated Theorem Proving - 9780821850275 onload="displayBookAvailableStatusC()"/>
Rating:

Rs. 39550.00

Delivery in 25 - 45 working days

Qty

Due to the current situation the Delivey will be delayed than the standard shipping period (21 working days).
Call our hotline 011 7 463 463

Covid-19 Notice

Due to the current situation the Delivey will be delayed than the standard shipping period (21 working days)
Call our hotline 011 7 463 463

Additional Information
Author(s) :- Format :- Paperback
Publisher :- American Mathematical Society Pub. Date :- 1984-12-15
ISBN-13 :- 9780821850275
Series:- Contemporary Mathematics
Dimensions :- 260 x 178
Weight :- 496
Add to wishlist

Other Books By