Твоя библиотека
Главная
Список разделов
Популярное
Главная
Kohlas Juerg
Автор: Kohlas Juerg
Generic Inference. A Unifying Theory for Automated Reasoning
