|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
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
- Сборник тезисов
- Добавил в систему: Петрухин Ярослав Игоревич
Статьи, опубликованные в сборнике
-
- 2019 Dual Logic of Rational Agent
- Petrukhin Yaroslav
- в сборнике XXIV Conference Applications of Logic in Philosophy and the Foundations of Mathematics, место издания Department of Logic and Methodology of Sciences, University of Wrocław Wrocław, тезисы, с. 25-26
-
- 2019 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, место издания Department of Logic and Methodology of Sciences, University of Wrocław Wrocław, тезисы, с. 38-39