Chargement en cours…
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...
| Cote: | Libro Electrónico |
|---|---|
| Auteurs principaux: | , |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Hoboken, N.J. :
Wiley,
[2011], ©2011.
|
| Sujets: | |
| Accès en ligne: | Texto completo (Requiere registro previo con correo institucional) |