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

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

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