|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Тезисы докладов Международной научной конференции, посвященной 85-летию академика И.В. Прангишвили «Информационные и компьютерные технологии, моделирование, управление»сборник
- Год издания: 2015
- Место издания: ГТУ Тбилиси: ГТУ
- Сборник тезисов
- Добавил в систему: Морозов Николай Юрьевич
Статьи, опубликованные в сборнике
-
- 2015 К автоматизации вывода теорем редукции
- Васильев С.Н., Дружинин А.Э., Морозов Н.Ю.
- в сборнике Тезисы докладов Международной научной конференции, посвященной 85-летию академика И.В. Прангишвили «Информационные и компьютерные технологии, моделирование, управление», место издания ГТУ Тбилиси: ГТУ, тезисы, с. 19-19