Բեռնվում է…
Вычислимость : Введение в теорию рекурсивных функций /
Պահպանված է:
Հիմնական հեղինակ: | Катленд, Найджел |
---|---|
Այլ հեղինակներ: | Мучник, А.А (Թարգմանիչ, пер.), Маслов, С.Ю (Խմբագիր, ред.) |
Ձևաչափ: | Գիրք |
Լեզու: | Russian |
Հրապարակվել է: |
Москва :
Мир,
1983.
|
Խորագրեր: | |
Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Նմանատիպ նյութեր
-
Рекурсивно перечислимые множества и степени неразрешимости /
: Арсланов, Марат Мирзаевич
Հրապարակվել է: (1986) -
Машины Тьюринга и рекурсивные функции : Пер. с нем. /
Հրապարակվել է: (1972) -
Алгоритмы и рекурсивные функции /
: Мальцев, Анатолий Иванович
Հրապարակվել է: (1986) -
Определение полюса булевых функций /
: Гуров, С.И
Հրապարակվել է: (1989) -
Локальная теория степеней неразрешимости и д л-множества /
: Арсланов, Марат Мирзаевич
Հրապարակվել է: (1987)