Articles liés à Effective Logic Computation: Revised Edition
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 26,22
EUR 4,61 expédition depuis Royaume-Uni vers France
Destinations, frais et délaisRésultats de recherche pour Effective Logic Computation: Revised Edition
Image d'archives
Effective Logic Computation: Revised Edition
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780999140215_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Effective Logic Computation Revised Edition
Edité par
Amazon Digital Services LLC - KDP Print US, 2017
ISBN 10 : 0999140213
ISBN 13 : 9780999140215
Neuf
PAP
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9780999140215
Quantité disponible : Plus de 20 disponibles
Image d'archives
Effective Logic Computation Revised Edition
Edité par
Amazon Digital Services LLC - KDP Print US, 2017
ISBN 10 : 0999140213
ISBN 13 : 9780999140215
Neuf
PAP
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9780999140215
Quantité disponible : Plus de 20 disponibles
Image d'archives
Effective Logic Computation: Revised Edition
Edité par
Leibniz Company, 2017
ISBN 10 : 0999140213
ISBN 13 : 9780999140215
Neuf
Paperback / softback
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 703. N° de réf. du vendeur C9780999140215
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Effective Logic Computation: Revised Edition
Edité par
LIGHTNING SOURCE INC, 2017
ISBN 10 : 0999140213
ISBN 13 : 9780999140215
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur 595216364
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Effective Logic Computation : Revised Edition
Edité par
Leibniz Company Sep 2017, 2017
ISBN 10 : 0999140213
ISBN 13 : 9780999140215
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9780999140215
Quantité disponible : 2 disponible(s)
Image d'archives
Effective Logic Computation: Revised Edition
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLING22Oct1916240286393
Quantité disponible : Plus de 20 disponibles