|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Refined Tableau Calculi for Modal Logics with Simplified Semanticsдоклад на конференции
- Авторы: Petrukhin Yaroslav, Zawidzki Michał
- Международная Конференция : 24th Conference Applications of Logic in Philosophy and the Foundations of Mathematics
- Даты проведения конференции: 13-17 мая 2019
- Дата доклада: 17 мая 2019
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Szklarska Poręba, Poland
- Добавил в систему: Петрухин Ярослав Игоревич