RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Лекция 6. Быстрый алгоритм поиска сети доказательства для $L(\backslash)$
М. Р. Пентус
 
  Обратная связь:
 Пользовательское соглашение  Регистрация © Математический институт им. В. А. Стеклова РАН, 2025
© Российская академия наук, Отделение математических наук, 2025