Главная
О нас
Истории
Каталог
Медиа
Домой
Каталог
Авторы
Jörg H. Siekmann
Jörg H. Siekmann
Список авторов с биографиями, датами жизни и будущими подборками всех их книг.
Книги автора
7
Computational Logic
Künstliche Intelligenz
Mechanizing mathematical reasoning
Mechanizing mathematical reasoning
8th International Conference on Automated Deduction
Automation of reasoning
Computational Logic