Pouly Marc
Жанры и тэги:
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 th…
Подробнее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 th…
Подробнее