Результаты поиска
Перейти к навигации
Перейти к поиску
- '''Алгоритм Кнута-Бендикса''' ([[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