|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
К автоматизации вывода теорем редукциидоклад на конференции
- Авторы: Васильев Станислав Н., Морозов Николай Ю., Дружинин Андрей Э.
- Международная Конференция : МЕЖДУНАРОДНАЯ НАУЧНАЯ КОНФЕРЕНЦИЯ ПОСВЯЩЁННАЯ 85-ЛЕТИЮ СО ДНЯ РОЖДЕНИЯ АКАДEМИКА И.В.ПРАНГИШВИЛИ «ИНФОРМАЦИОННЫЕ И КОМПЬЮТЕРНЫЕ ТЕХНОЛОГИИ,МОДЕЛИРОВАНИЕ, УПРАВЛЕНИЕ»
- Даты проведения конференции: 3-5 ноября 2015
- Дата доклада: 3 ноября 2015
- Тип доклада: Пленарный
- Докладчик: не указан
- Место проведения: Тбилиси, Georgia
- Добавил в систему: Морозов Николай Юрьевич