НТВ Информатика. Телекоммуникации. Управление
Научно-технические ведомости СПбГПУ. Информатика.Телекоммуникации.Управление Cанкт-Петербургский политехнический университет Петра Великого
Издается с 2008
ISSN 2304-9766
ISSN online 2618-8694
ru Русский
Версия для слабовидящих
Автор Пак Вадим Геннадьевич
Подать статью
График выхода журналов
  • №4 Декабрь 2019
    Статьи принимаются до: 10 Ноября 2019
  • №1 Март 2020
    Статьи принимаются до: 10 Февраля 2020
  • №2 Июнь 2020
    Статьи принимаются до: 10 Мая 2020
Последние выпуски
Пак Вадим Геннадьевич

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

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