Результаты поиска

Перейти к навигации Перейти к поиску

  • Алгоритм Кнута-Бендикса
    '''Алгоритм Кнута-Бендикса''' ([[D.Knuth|''D.Knuth]], [[P.Bendix|P.Bendix]]'') -
    537 байт (17 слов) - 16:38, 11 ноября 2010
  • Критическая пара
    Справедлива теорема Кнута—Бендикса—Уэ (D.Knuth, P.Bendix, G.Huet) о том, что ''<math>\,R</math> локально-к
    2 Кб (98 слов) - 12:18, 15 апреля 2011
Источник — http://pco.iis.nsk.su/grapp/index.php/Служебная:Поиск