Электронный каталог


    страница из 1
    всего найдено записей: 2,
      отображать

    Лицевая сторона карточкиОбратная сторона карточки

    Подымов В.В. Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / В. В. Подымов, 2015. - 24 с. - Текст : непосредственный.