Description
- ISBN-10: 3528155744
- ISBN-13: 978-3528155742
- Edition: 2nd ed. 1999
- Publication date: 1 January 1999
- Part of series: Computational Intelligence
- Language: English
- Dimensions: 14.81 x 1.07 x 21.01 cm
- Print length: 172 pages
Availability: In Stock
THE EFFICIENCY OF THEOREM PROVING STRATEGIES 2ED (PB): A Comparative and Asymptotic Analysis (Computational Intelligence)
SKU: 9783528155742
Original price was: ₹6,765.99.₹4,397.89Current price is: ₹4,397.89.
Explore advanced theorem proving strategies with “The Efficiency of Theorem Proving Strategies 2ed (PB)” from Springer. This essential computational intelligence guide offers a deep comparative and asymptotic analysis of various techniques, perfect for researchers and students. Discover how different methods stack up in terms of performance and scalability. Published in 1999, this paperback edition, part of the esteemed Computational Intelligence series, provides 172 pages of insightful content. Enhance your understanding of automated reasoning and improve your strategy selection. A must-have for anyone serious about the theoretical and practical aspects of theorem proving in computer science and mathematics.
5 in stock
