Kohlas Juerg

Generic Inference. A Unifying Theory for Automated Reasoning

Подробнее