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