|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
О проверке эквивалентности последовательных и рекурсивных программ на упорядоченных полугрупповых шкалахтезисы доклада
- Автор: Подымов В.В.
- Сборник: Материалы X Международной конференции "Интеллектуальные системы и компьютерные науки"
- Тезисы
- Год издания: 2011
- Место издания: Издательство механико-математического факультета МГУ Москва
- Первая страница: 295
- Последняя страница: 298
- Добавил в систему: Подымов Владислав Васильевич