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