Все книги автора Kohlas Juerg
Найдено 1 книг
Generic Inference. A Unifying Theory for Automated Reasoning
Generic Inference. A Unifying Theory for Automated Reasoning
This book provides a rigorous algebraic study of the most popular inference formalisms with a specia...