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