Refine your search
Availability
-
bib-level
- m (3)
-
Authors
-
Locations
- Абонемент. Депозитарий (1)
- Книгохранилище (3)
- Читальный зал 5 (1)
-
Item types
-
Topics
- Глушкова алгебра алгоритмов (1)
- Девиса-патнема метод (1)
- Кнута-Бендикса алгоритм критической пары (1)
- Кнута-Бендикса алгоритм пополнения (1)
- Куайна метод (1)
- Маркова алгоритмическая система (1)
- Менгера теорема (1)
- Мура автоматы (1)
- Ньютона бином (1)
- Поста машина (1)
- Поста машины (1)
- Тьюринга машины (2)
- Холла теорема (1)
- Цермело-Френкеля аксиоматика (1)
- Черча тезис (1)
- Эрбрана теорема (1)
- абелевы группы (1)
- контекстно-свободные грамматики (2)
- регулярные грамматики (2)
- рекурсия (2)
- Show more
- Show less