|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Natural Deduction for Regular Three-Valued Logics and their Four-Valued Analoguesтезисы доклада
- Автор: Petrukhin Yaroslav
- Сборник: Handbook of the 6th World Congress and School on Universal Logic
- Тезисы
- Год издания: 2018
- Место издания: Service Reprographie - Université Clermont Auvergne Vichy
- Первая страница: 602
- Добавил в систему: Петрухин Ярослав Игоревич