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
β¦ LIBER β¦
π
Generic inference. A unifying theory for automated reasoning
β Scribed by Pouly M., Kohlas J
- Publisher
- Wiley
- Year
- 2011
- Tongue
- English
- Leaves
- 471
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Generic Inference: A Unifying Theory for
β Marc Pouly, Juerg Kohlas
π Library
π
2011
π Wiley
π English
Generic Inference: A Unifying Theory for
β Marc Pouly, Juerg Kohlas
π Library
π
2011
π Wiley
π English
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
A proof theory for general unification
β Wayne Snyder
π Library
π
1991
π Springer
π English
A proof theory for general unification
β Wayne Snyder
π Library
π
1991
π Springer
π English
A Proof Theory for General Unification
β Wayne Snyder
π Library
π
1991
π Springer
π English
A Proof Theory for General Unification
β W. Snyder
π Library
π
1991
π BirkhΓ€user Boston
π English