Le livre est actuellement en rupture de stock
En savoir plus sur le livre
Focusing on the intersection of engineering and technology, this book introduces a novel computational method for logic rooted in matroid theory, specifically matroid decomposition. It extends propositional logic and analyzes logic formulas through combinatorial structures, leading to the development of algorithms for logic solutions. Additionally, the theoretical advancements are realized in the Leibniz System, a software platform designed for logic programming, showcasing practical applications of the proposed methods.
Achat du livre
Effective Logic Computation: Revised Edition, Klaus Truemper
- Langue
- Année de publication
- 2017
- 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é .