Зведений каталог бібліотек Тернополя

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

518
К29Катленд, Н.
    Вычислимость. Введение в теорию рекурсивных функций [Текст] = Computability. An introduction to recursive function theory / пер. с англ. А. А. Мучника ; под ред. С. Ю. Маслова. — М. : Мир, 1983. — 256 с.

- Теми документа

  • ББК // 22.127 Теорія алгоритмів і обчислювальних (рекцесивних) функцій. Конструктивний аналіз
  • Алфавітно-предметний покажчик до ББК // Обчислювальна математика 22.19
  • Алфавітно-предметний покажчик до ББК // Рекурсивні функції 22.127



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека Тернопільського національного педагогічного університету імені Володимира Гнатюка 1 Перейти на сайт