|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Улучшение алгоритмов проверки эквивалентности операторных программ при помощи анализа весов вершинтезисы доклада
- Автор: Подымов Владислав Васильевич
- Сборник: Ломоносовские чтения-2021: научная конференция, факультет ВМК МГУ имени М.В.Ломоносова. Тезисы докладов
- Серия: Секция Вычислительной математики и кибернетики
- Том: 2021
- Тезисы
- Год издания: 2021
- Издательство: Изд-во Моск. ун-та
- Местоположение издательства: М.
- Первая страница: 124
- Последняя страница: 125
- Добавил в систему: Врагова Елена Юрьевна