The book is currently out of stock
More about the book
This book serves as a comprehensive reference that combines theoretical concepts with practical implementations, providing readers with accompanying code. It is designed to be self-contained, making it an ideal resource for those seeking to understand complex topics while having access to real-world coding examples.
Book purchase
Handbook of Practical Logic and Automated Reasoning, John Harrison
- Language
- Released
- 2015
- product-detail.submit-box.info.binding
- (Hardcover)
We’ll notify you via email once we track it down.
Payment methods
- Title
- Handbook of Practical Logic and Automated Reasoning
- Language
- English
- Authors
- John Harrison
- Publisher
- Cambridge University Press
- Released
- 2015
- Format
- Hardcover
- Pages
- 702
- ISBN13
- 9780521899574
- Category
- Philosophy
- Description
- This book serves as a comprehensive reference that combines theoretical concepts with practical implementations, providing readers with accompanying code. It is designed to be self-contained, making it an ideal resource for those seeking to understand complex topics while having access to real-world coding examples.