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