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