• ВХОД
  •  

    Полное описание

    Кацман, Виктор Игоревич. Модели и методы автоматической проверки решений задач : 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей: автореферат диссертации на соискание ученой степени кандидата технических наук / Кацман Виктор Игоревич ; Санкт-Петербургский политехнический университет Петра Великого. - 2022. - 24 с. : ил. - Библиогр.: с. 23-24. - 100 экз. - Текст : непосредственный.

    ГРНТИ УДК
    27.01.7951:378(043)
    14.01.85378:004(043)

    Кл.слова (ненормированные): АВТОМАТИЗАЦИЯ ПРОВЕРКИ -- ИНФОРМАТИЗАЦИЯ -- ОБРАЗОВАНИЕ -- ОБРАЗОВАТЕЛЬНЫЙ ПРОЦЕСС -- ПРЕОБРАЗОВАНИЕ ФОРМУЛ -- УЛУЧШЕНИЕ -- УЧЕБНЫЕ ЗАДАЧИ
    Доп. точки доступа:
    Санкт-Петербургский политехнический университет Петра Великого

    Держатели документа:
    Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар22-1986)

    Шифр в сводном ЭК: 0c66022b2ff99d0472cb5b1b06137fdf



    Заказ фрагмента документа ₽