El libro está agotado actualmente
Más información sobre el libro
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.
Compra de libros
Resolution Proof Systems, Z. Stachniak
- Idioma
- Publicado en
- 2011
- product-detail.submit-box.info.binding
- (Tapa blanda)
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nadie lo ha calificado todavía.