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