BRAND NEW. Pages are crisp and clean, binding tight. 100% Satisfaction Guaranteed. Orders received before 3PM PT typically ship same day. All profits support the non-profit community. N� de ref. del art�culo mon0000026275

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Effective Logic Computation (Wiley ...

Editorial: Wiley-Interscience

A�o de publicaci�n: 1998

Encuadernaci�n: Hardcover

Condici�n: New

Acerca de

Sinopsis:

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.

Acerca del autor:

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.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Ver la p�gina web de la librer�a