|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Refined Tableau Calculi for Modal Logics with Simplified Semanticsтезисы доклада
- Авторы: Zawidzki Michał, Petrukhin Yaroslav
- Сборник: XXIV Conference Applications of Logic in Philosophy and the Foundations of Mathematics
- Тезисы
- Год издания: 2019
- Место издания: Department of Logic and Methodology of Sciences, University of Wrocław Wrocław
- Первая страница: 38
- Последняя страница: 39
- Добавил в систему: Петрухин Ярослав Игоревич