График выхода изданий
  • №4 Декабрь 2025
  • №1 Март 2026
    Статьи принимаются до: 27 Февраля 2026
  • №2 Июнь 2026
    Статьи принимаются до: 29 Мая 2026
  • №3 Сентябрь 2026
    Статьи принимаются до: 31 Августа 2026
Гаранина Наталья Олеговна
Гаранина Наталья Олеговна
630090, Россия, г. Новосибирск, пр. Акад. Лаврентьева, д. 6.

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

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