|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Natural deduction for Kleene's three- and four-valued logicsдоклад на конференции
- Автор: Petrukhin Yaroslav
- Международная Конференция : XIII международная конференция "Современная логика: проблемы и перспективы"
- Даты проведения конференции: 31 мая - 2 июня 2018
- Дата доклада: 31 мая 2018
- Тип доклада: Пленарный
- Докладчик: не указан
- Место проведения: Санкт-Петербург, Russia
- Добавил в систему: Петрухин Ярослав Игоревич