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