Il libro è attualmente esaurito
Maggiori informazioni sul libro
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.
Acquisto del libro
Effective Logic Computation: Revised Edition, Klaus Truemper
- Lingua
- Pubblicato
- 2017
- product-detail.submit-box.info.binding
- (In brossura)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.