|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Симуляция натуральных и секвенциальных исчисленийдоклад на конференции
- Автор: Кожемяченко Д.А.
- Международная Конференция : Двенадцатая международная конференция "Современная логика: проблемы теории, истории и применения в науке"
- Даты проведения конференции: 22-24 июня 2016
- Дата доклада: 23 июня 2016
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Санкт-Петербург, Russia
- Добавил в систему: Кожемяченко Даниил Андреевич