|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Simulations of propositional single-succedent intuitionistic sequent calculiдоклад на конференции
- Автор: Кожемяченко Даниил Андреевич
- Международная Конференция : XIII международная конференция "Современная логика: проблемы и перспективы"
- Даты проведения конференции: 31 мая - 2 июня 2018
- Дата доклада: 1 июня 2018
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Санкт-Петербург, Russia
- Добавил в систему: Кожемяченко Даниил Андреевич