This text describes mathematical methods for computation in propositional logic, offering an alternative to the production rule- or neural net-based approaches commonly used in the design of expert systems. 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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
KLAUS TRUEMPER, PhD, is Professor of Computer Science at the University of Texas, Dallas. Dr. Truemper received his doctorate in operations research from Case Western Reserve University in 1973. In 1988 he received the prestigious Senior Distinguished U.S. Scientist Award from the Alexander von Humboldt Foundation (Germany). Dr. Truempers work includes the book Matroid Decomposition and the Leibniz System software.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 10,56 für den Versand von USA nach Deutschland
Versandziele, Kosten & DauerAnbieter: Better World Books, Mishawaka, IN, USA
Zustand: Very Good. 1st Edition. Used book that is in excellent condition. May show signs of wear or have minor defects. Artikel-Nr. 50817082-6
Anzahl: 1 verfügbar
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: Good. 1st Edition. Used book that is in clean, average condition without any missing pages. Artikel-Nr. 46693370-6
Anzahl: 1 verfügbar
Anbieter: Plurabelle Books Ltd, Cambridge, Vereinigtes Königreich
Hardcover. Zustand: Good. xv 476p hardback with grey laminated boards, as new Language: English. Artikel-Nr. 50349
Anzahl: 1 verfügbar
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Gut. Zustand: Gut | Seiten: 476 | Sprache: Englisch | Produktart: Bücher. Artikel-Nr. 41458070/3
Anzahl: 1 verfügbar