Het boek is momenteel niet op voorraad
Meer over het boek
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.
Een boek kopen
Resolution Proof Systems, Z. Stachniak
- Taal
- Jaar van publicatie
- 2011
- product-detail.submit-box.info.binding
- (Paperback)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.