Automated Theorem Proving : After 25 Years
Book Details
Format
Paperback / Softback
Book Series
Contemporary Mathematics
ISBN-10
082185027X
ISBN-13
9780821850275
Publisher
American Mathematical Society
Imprint
American Mathematical Society
Country of Manufacture
US
Country of Publication
GB
Publication Date
Dec 15th, 1984
Weight
486 grams
Dimensions
17.10 x 25.20 x 1.40 cms
Product Classification:
Mathematical foundations
Ksh 10,150.00
Werezi Extended Catalogue
Delivery in 14 days
Delivery Location
Delivery fee: Select location
Delivery in 14 days
Secure
Quality
Fast
No description available for this book.
Get Automated Theorem Proving by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by American Mathematical Society and it has pages.
