Items related to 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.
"synopsis" may belong to another edition of this title.
About the Author
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.
"About this title" may belong to another edition of this title.
- PublisherLeibniz Company
- Publication date2017
- ISBN 10 0999140213
- ISBN 13 9780999140215
- BindingPaperback
- LanguageEnglish
- Number of pages488
Search results for Effective Logic Computation: Revised Edition
Stock Image
Effective Logic Computation: Revised Edition
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780999140215_new
Quantity: Over 20 available
Stock Image
Effective Logic Computation Revised Edition
Published by
Amazon Digital Services LLC - KDP Print US, 2017
ISBN 10: 0999140213
ISBN 13: 9780999140215
New
PAP
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9780999140215
Quantity: Over 20 available
Stock Image
Effective Logic Computation: Revised Edition
Published by
Leibniz Company, 2017
ISBN 10: 0999140213
ISBN 13: 9780999140215
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 703. Seller Inventory # C9780999140215
Quantity: Over 20 available
Stock Image
Effective Logic Computation Revised Edition
Published by
Amazon Digital Services LLC - KDP Print US, 2017
ISBN 10: 0999140213
ISBN 13: 9780999140215
New
PAP
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9780999140215
Quantity: Over 20 available
Seller Image
Effective Logic Computation : Revised Edition
Published by
Leibniz Company Sep 2017, 2017
ISBN 10: 0999140213
ISBN 13: 9780999140215
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9780999140215
Quantity: 2 available
Seller Image
Effective Logic Computation: Revised Edition
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # 595216364
Quantity: Over 20 available
Stock Image
Effective Logic Computation: Revised Edition
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLING22Oct1916240286393
Quantity: Over 20 available