Поиск :
Личный кабинет :
Электронный каталог: Гросс, М. - Вычислимость и разрешимость [Глава 5]
Гросс, М. - Вычислимость и разрешимость [Глава 5]
Книга (аналит. описание)
Автор: Гросс, М.
Теорема формальных грамматик: Вычислимость и разрешимость [Глава 5]
б.г.
ISBN отсутствует
Автор: Гросс, М.
Теорема формальных грамматик: Вычислимость и разрешимость [Глава 5]
б.г.
ISBN отсутствует
Книга (аналит. описание)
Гросс, М.
Вычислимость и разрешимость [Глава 5] / М. Гроссс, А Лантен // Теорема формальных грамматик / М. Гросс, А. Лантен; Пер. с франц. И. А. Мельчука; Под ред. А. В. Гладкого . - Москва : Мир, 1971 . - С. 81-98 . - На рус. яз.
основной = операции логики
основной = Геделя теорема
основной = математика : математическая логика : теория алгоритмов и вычислимых функций : вычислимые функции
Гросс, М.
Вычислимость и разрешимость [Глава 5] / М. Гроссс, А Лантен // Теорема формальных грамматик / М. Гросс, А. Лантен; Пер. с франц. И. А. Мельчука; Под ред. А. В. Гладкого . - Москва : Мир, 1971 . - С. 81-98 . - На рус. яз.
основной = операции логики
основной = Геделя теорема
основной = математика : математическая логика : теория алгоритмов и вычислимых функций : вычислимые функции