Информатика, телекоммуникации и управление
    Информатика, телекоммуникации и управлениеCанкт-Петербургский политехнический университет Петра Великого
    Издается с 2008
    ISSN 2687-0517
    ruРусский
    Версия для слабовидящих
    АвторПак Вадим Геннадьевич
    Подать статью
    График выхода изданий
    • №2 Июнь 2026
      Статьи принимаются до: 29 Мая 2026
    • №3 Сентябрь 2026
      Статьи принимаются до: 31 Августа 2026
    • №4 Декабрь 2026
    Последние выпуски
    Пак Вадим Геннадьевич
    Пак Вадим Геннадьевич
    195251, Россия, Санкт-Петербург, ул. Политехническая, д. 29.

    Экспериментальная программа для доказательства теорем интуиционистской логики обратным методом Маслова

    Интеллектуальные системы и технологии
    Павлов В.А.Пак В.Г.
    • Год: 2015
    • Выпуск: 6
    • 354
    • 9576
    • Страницы: 70-80