|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Непрямые правила вывода и симуляция натуральных исчисленийдоклад на конференции
- Автор: Кожемяченко Д.А.
- Международная Конференция : ПРОБЛЕМИ ВИКЛАДАННЯ ЛОГІКИ ТА ПЕРСПЕКТИВИ ЇЇ РОЗВИТКУ
- Даты проведения конференции: 12-15 мая 2016
- Дата доклада: 13 мая 2016
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Киев, Ukraine
- Добавил в систему: Кожемяченко Даниил Андреевич