Articoli correlati a Effective Logic Computation: Revised Edition
Sinossi
The engineering advances started in the second half of the 20th century have created an avalanche of new technology. Control and use of that technology require, among many things, effective computational methods for logic. This book proposes one such method. It makes use of a theory of logic computation based on matroid theory, in particular matroid decomposition. Main features of the theory are an extension of propositional logic, an analysis of logic formulas via combinatorial structures, and a construction of logic solution algorithms based on that analysis. The results have been implemented in a software system for logic programming called the Leibniz System.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull?autore
K. Truemper is Professor Emeritus of Computer Science at the University of Texas at Dallas. He is also author of the books Matroid Decomposition, Design of Logic-based Intelligence Systems, and The Construction of Mathematics.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 30,97
EUR 1,20 per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiRisultati della ricerca per Effective Logic Computation: Revised Edition
Foto dell'editore
Effective Logic Computation Revised Edition
Editore:
Amazon Digital Services LLC - KDP Print US, 2017
ISBN 10: 0999140213
ISBN 13: 9780999140215
Nuovo
PAP
Da: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L0-9780999140215
Quantità: Più di 20 disponibili
Foto dell'editore
Effective Logic Computation Revised Edition
Editore:
Amazon Digital Services LLC - KDP Print US, 2017
ISBN 10: 0999140213
ISBN 13: 9780999140215
Nuovo
PAP
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L0-9780999140215
Quantità: Più di 20 disponibili
Foto dell'editore
Effective Logic Computation: Revised Edition
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780999140215_new
Quantità: Più di 20 disponibili
Foto dell'editore
Effective Logic Computation: Revised Edition
Editore:
Leibniz Company, 2017
ISBN 10: 0999140213
ISBN 13: 9780999140215
Nuovo
Paperback / softback
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 703. Codice articolo C9780999140215
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Effective Logic Computation: Revised Edition
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Über den AutorK. Truemper is Professor Emeritus of Computer Science at the University of Texas at Dallas. He is also author of the books Matroid Decomposition, Design of Logic-based Intelligence Systems, and The Construction of Math. Codice articolo 595216364
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Effective Logic Computation : Revised Edition
Editore:
Leibniz Company Sep 2017, 2017
ISBN 10: 0999140213
ISBN 13: 9780999140215
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware - The engineering advances started in the second half of the 20th century have created an avalanche of new technology. Control and use of that technology require, among many things, effective computational methods for logic. This book proposes one such method. It makes use of a theory of logic computation based on matroid theory, in particular matroid decomposition. Main features of the theory are an extension of propositional logic, an analysis of logic formulas via combinatorial structures, and a construction of logic solution algorithms based on that analysis. The results have been implemented in a software system for logic programming called the Leibniz System. Codice articolo 9780999140215
Quantità: 2 disponibili
Foto dell'editore
Effective Logic Computation: Revised Edition
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLING22Oct1916240286393
Quantità: Più di 20 disponibili