|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Кузнецов С.Л. в программном комитете конференции 31st International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2023 (Прага, Czech Republic, 18-21 сентября 2023)членство в программном комитете конференции
- Сотрудник: Кузнецов Степан Львович
- Конференция: 31st International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2023
- Даты проведения: 18-21 сентября 2023
- Место проведения: Прага, Czech Republic
- Тип членства: Член программного комитета
- Добавил в систему: Кузнецов Степан Львович