Beispielbild für diese ISBN

Effective Logic Computation.

Truemper, Klaus

Verlag: Wiley, New York, 1998
ISBN 10: 0471238864 / ISBN 13: 9780471238867
Gebraucht / Hardcover / Anzahl: 1
Verkäufer Plurabelle Books Ltd (Cambridge, Vereinigtes Königreich)
Bei weiteren Verkäufern erhältlich
Alle  Exemplare dieses Buches anzeigen
In den Warenkorb legen
Preis: EUR 16,69
Währung umrechnen
Versand: EUR 4,63
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Für später vormerken

Über dieses Buch

Bibliografische Details

Titel: Effective Logic Computation.

Verlag: Wiley, New York

Erscheinungsdatum: 1998

Einband: Hardcover

Zustand: As New


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

Über diesen Titel:

Bewertung (bereitgestellt von GoodReads):
4 durchschnittlich
(1 Bewertungen)

Inhaltsangabe: 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.

Klappentext: 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.

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

Anbieter- & Zahlungsinformationen


Dieser Anbieter akzeptiert die folgenden Zahlungsarten:

  • American Express
  • Bankwechsel
  • Banküberweisung
  • Carte Bleue
  • EuroCard/MasterCard
  • Money Order
  • PayPal
  • Visa
  • Vorauskasse

[Im Angebot des Anbieters suchen]

[Alle Bücher des Anbieters anzeigen]

[Dem Anbieter eine Frage stellen]

Anbieter: Plurabelle Books Ltd
Adresse: Cambridge, Vereinigtes Königreich

AbeBooks Verkäufer seit: 10. Juli 2002
Bewertung: 5 Sterne


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.

Anbieterinformationen: 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.