|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Быстрый алгоритм проверки эквивалентности программ с коммутативными и подавляемыми операторамидоклад на конференции
- Автор: Подымов В.В.
- Международная Конференция : XVII Международная конференция "Проблемы теоретической кибернетики" (Казань, 16-21 июня 2014)
- Даты проведения конференции: 16-21 июня 2014
- Тип доклада: Устный
- Докладчик: Подымов В.В.
- Место проведения: Казань, Russia
- Добавил в систему: Подымов Владислав Васильевич