|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2021Конференция
- Член программного комитета: Кузнецов С.Л.
- Охват: Международная
- Даты проведения: 6-9 сентября 2021
- Место проведения: Бирмингем, United Kingdom
-
Организатор:
University of Birmingham - Веб-сайт: https://tableaux2021.org/
- Добавил в систему: Кузнецов Степан Львович