|
|
Результат поиска |
Поиск книг, содержащих: Процедура эффективная
Книга | Страницы для поиска | Гудстейн Р.Л. — Математическая логика и основания математики. Рекурсивный математический анализ | 295 | Барвайс Д. — Справочная книга по математической логике. Часть 3: теория рекурсии | 10 | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 18, 55, 70, 72, 87, 129, 162, 171, 180 |
|
|