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