Автор: Kohlas Juerg

. Generic Inference. A Unifying Theory for Automated Reasoning

Generic Inference. A Unifying Theory for Automated Reasoning

Kohlas Juerg

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

Оставайтесь на связи

Будьте в курсе новостей о выходящих книгах, подпишитесь на нашу еженедельную рассылку:
© 2011-2024. Your Lib. All Rights Reserved.