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
AI Summary
Ksh 10,150.00
Werezi Extended Catalogue
Delivery in 14 days
1 copies in stock
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.
Discover books you might love based on this title.
More in This Genre
Logic and Structure
Ksh 11,900.00
The Priority of Propositions. A Pragmatist Philosophy of Logic
Ksh 19,800.00
Introducing the Philosophy of Mathematical Practice
Ksh 10,050.00
Real Homotopy of Configuration Spaces
Ksh 7,200.00
Functional Analysis, Calculus of Variations and Numerical Methods for Models in Physics and Engineering
Ksh 13,750.00
AQA GCSE 9-1 Maths Foundation Practice Papers
Ksh 1,300.00
