График выхода журналов
  • №4 Декабрь 2019
    Статьи принимаются до: 10 Ноября 2019
  • №1 Март 2020
    Статьи принимаются до: 10 Февраля 2020
  • №2 Июнь 2020
    Статьи принимаются до: 10 Мая 2020
Гаранина Наталья Олеговна

Элевсин: абсолютная память для индуктивного вывода

Математическое моделирование: методы, алгоритмы, технологии
  • Год: 2014
  • Выпуск: 1
  • 368
  • 1442
  • Страницы: 69-75