|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
О проблеме логико-термальной эквивалентности недетерминированных стандартных схем программстатья
- Авторы: Захаров В.А., Попеско У.В.
- Сборник: Материалы XII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 20–25 июня 2016 г.)
- Редакторы: Дудакова Ольга Сергеевна, Колпаков Роман Максимович, Комбаров Юрий Анатольевич, Кочергин Вадим Васильевич
- Год издания: 2016
- Место издания: Изд-во механико-математического факультета МГУ Москва
- Первая страница: 196
- Последняя страница: 198
- Добавил в систему: Захаров Владимир Анатольевич