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 inc...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Pouly, Marc, 1980- (Autor), Kohlas, Jürg, 1939- (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Hoboken, N.J. : Wiley, [2011], ©2011.
Temas:
Acceso en línea:Texto completo (Requiere registro previo con correo institucional)