Дискретные модели: представление конечными деревьями и разрешимость формальных теорий, монография
- 100 экз.9785803811930/[2017-56137]/русский/Дискретные модели: представление конечными деревьями и разрешимость формальных теорий : монография / Ю.Д. Корольков, В.И. Мартьянов ; Министерство образования и науки РФ, Иркутский национальный исследовательский технический университет.Дискретные модели: представление конечными деревьями и разрешимость формальных теорий : монография / Ю.Д. Корольков, В.И. Мартьянов.Дискретные модели: представление конечными деревьями и разрешимость формальных теорий : монография.Иркутск/Изд-во Иркутского национального исследовательского технического университета/, 2017 ( ). - Изд-во Иркутского национального исследовательского технического университета, 2017. - 159 с. ; 20 см.Дискретные модели: представление конечными деревьями и разрешимость формальных теорий : монография. Иркутск, 2017 .
Библиогр.: с. 148-159 (100 назв.). Библиогр.: с. 148-159 (100 назв.).Алгебраические системы/Нумерации вычислимые/Рекурсивные функции/Математическая логика -- Модели/В12,0/З973.233-018,0/В152.7/В12/
Библиогр.: с. 148-159 (100 назв.). Библиогр.: с. 148-159 (100 назв.).Алгебраические системы/Нумерации вычислимые/Рекурсивные функции/Математическая логика -- Модели/В12,0/З973.233-018,0/В152.7/В12/