Le livre est actuellement en rupture de stock
En savoir plus sur le livre
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.
Achat du livre
Resolution Proof Systems, Z. Stachniak
- Langue
- Année de publication
- 2011
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .