Generic Inference: A Unifying Theory for Automated Reasoning: A Unifying Theory for Automated Inference

Generic Inference: A Unifying Theory for Automated Reasoning: A Unifying Theory for Automated Inference

by Marc Pouly (Author), JuergKohlas (Author)

Synopsis

This book provides a rigorous algebraic study of the most popular inference formalisms with a special focus on their wide application area, showing that all these tasks can be performed by a single generic inference algorithm.

$131.00

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 484
Publisher: Wiley-Blackwell
Published: 10 May 2011

ISBN 10: 0470527013
ISBN 13: 9780470527016