Теорема о примитивно рекурсивном тесте случайностистатья
-
Автор:
Смирнова О.С.
-
Сборник:
Алгебраические системы
-
Год издания:
1991
-
Место издания:
Иваново
-
Первая страница:
89
-
Последняя страница:
95
-
Аннотация:
Доказывается теорема о примитивно рекурсивном тесте. Доказывается существование примитивно рекурсивного теста для УЗБЧ.
-
Добавил в систему:
Смирнова Ольга Сергеевна