Cargando…
Generic Inference: A Unifying Theory for Automated Reasoning
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. Written by the leading international authority on the topic, it includes...
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
John Wiley & Sons
2011
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/1414337 |