The book is currently out of stock
More about the book
The book presents an in-depth exploration of resolution proof systems through an algebraic lens. It delves into the theoretical foundations and offers a comprehensive analysis of various proof techniques. Key concepts include the relationship between algebraic structures and computational complexity, providing insights into the efficiency of proof systems. The work is aimed at researchers and students in mathematical logic and computer science, highlighting both foundational theories and practical implications in the field of automated reasoning.
Book purchase
Resolution Proof Systems, Z. Stachniak
- Language
- Released
- 2011
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.