Kohlas Juerg

Жанры и тэги:

технические науки техническая литература электроника

Посмотреть все

09.12.2023

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…

Подробнее