The book is currently out of stock
More about the book
Focusing on the interplay between algebra and logic, this book presents a comprehensive exploration of resolution proof systems. It delves into the algebraic foundations that underpin these systems, offering insights into their structure and functionality. The author discusses various algebraic techniques and their applications in enhancing the efficiency of proof systems, making the content accessible to both researchers and students in computer science and mathematical logic. The work aims to bridge theoretical concepts with practical implications in the field of automated reasoning.
Book purchase
Resolution Proof Systems, Z. Stachniak
- Language
- Released
- 1996
- product-detail.submit-box.info.binding
- (Hardcover)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.