Beispielbild für diese ISBN

Effective Logic Computation.

Truemper, Klaus

0 Bewertungen bei Goodreads
ISBN 10: 0471238864 / ISBN 13: 9780471238867
Verlag: Wiley, New York, 1998
Gebraucht Zustand: As New Hardcover
Verkäufer Plurabelle Books Ltd (Cambridge, Vereinigtes Königreich)

AbeBooks Verkäufer seit 10. Juli 2002

Anzahl: 1

Gebraucht kaufen
Preis: EUR 16,15 Währung umrechnen
Versand: EUR 4,48 Von Vereinigtes Königreich nach USA Versandziele, Kosten & Dauer
In den Warenkorb legen


xv 476p hardback with grey laminated boards, as new. Buchnummer des Verkäufers PAB 50349

Dem Anbieter eine Frage stellen

Bibliografische Details

Titel: Effective Logic Computation.

Verlag: Wiley, New York

Erscheinungsdatum: 1998

Einband: Hardcover

Zustand:As New

Über diesen Titel


A powerful new approach to solving propositional logic problems in the design of expert systems Effective Logic Computation describes breakthrough mathematical methods for computation in propositional logic. Offering a highly robust and versatile alternative to the production rule- or neural net-based approaches commonly used in the design of expert systems, Dr. Truemper’s combinatorial decomposition-based approach has produced a compiler that uniquely yields solution algorithms for both logic satisfiability problems and logic minimization problems. Also unique to the compiler is computation of a performance guarantee for each solution algorithm. Effective Logic Computation provides detailed algorithms for all steps carried out by the compiler. Much of the mathematics described in this book has been implemented in the Leibniz System, a commercially available software system for logic programming and a leading tool for building expert systems. This book’s companion volume, Design of Intelligent Computer Systems, is in preparation and will offer detailed coverage of software implementation and use, including a complete version of the Leibniz System. Effective Logic Computation is an indispensable working resource for computer scientists and applied mathematicians involved in the design of logic programming software, researchers in artificial intelligence, and operations researchers.

From the Publisher:

This book covers the emerging area of logic computation--the use of advanced mathematical methods to solve complex problems in logic. This logic system may be used for the construction of expert systems, such as automated handwriting analysis, traffic control systems, and data mining. The topic of this book is essentially the starting point for solving these problems, i.e. ways in which a complex problem may be broken down into a number of smaller ones.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.


We have been selling academic and scholarly books in Cambridge since 1996. Today we occupy an old warehouse on Coldhams Road, adjacent to the railway tracks leading to Ely, not too far from the airport. The site is called Restwell House. We are an internet bookshop, but visitors are very welcome. Some drop off a few boxes of unwanted books, some pick up a book to save on the postage, some just drop by to get to know us, or want to take advantage of the many bargains on our wooden shelves bookshop, which is distinct from the internet stock offered on the web. Our mission has always been to find new homes for the books we are looking after. If we cannot sell them online, we offer them at very low prices to our visitors. We try to give you a serious and dedicated service which is focussed on the individuality of each single book: its condition, its origin, sometimes even its smell. You come to us for real books, not just instances of ISBNs.

Zur Homepage des Verkäufers


Major Credit Cards accepted, also Paypal We can also take payment in Euros with our German Postbank account. For more information call, mail or visit our premises in Cambridge.


Orders usually ship on the day received. Standard shipping to International destinations is by Airmail. Please let us know if you'd like a quote for tracked shipping. If your order is for multiple heavy volumes and our default shipping rate is based on one volume only, we may contact you regarding additional postage.
We are pleased to answer any questions you may have and are happy to send images on request.

Alle Bücher des Anbieters anzeigen

akzeptiert von diesem Verkäufer

Visa Mastercard American Express Carte Bleue

Vorauskasse Money Order PayPal Bankwechsel Banküberweisung