Поиск :
Личный кабинет :
Электронный каталог: Справочник таблиц УДК
К списку таблиц УДК
510.57
Сортировать по: заглавиюдате издания
Книга
Катленд, Найджел
Вычислимость. Введение в теорию рекурсивных функций
Мир, 1983 г.
ISBN отсутствует
ОХОФ
Катленд, Найджел
Вычислимость. Введение в теорию рекурсивных функций
Мир, 1983 г.
ISBN отсутствует
ОХОФ
Книга
Арсланов, М.М.
Рекурсивно перечислимые множества и степени неразрешимости
Издательство Казанского университета, 1986 г.
ISBN отсутствует
ОХОФ
Арсланов, М.М.
Рекурсивно перечислимые множества и степени неразрешимости
Издательство Казанского университета, 1986 г.
ISBN отсутствует
ОХОФ
Книга
Орса, В.А.
Числовой метод минимизации булевых функций
ISBN отсутствует
ОХОФ
Орса, В.А.
Числовой метод минимизации булевых функций
Серия: Актуальные проблемы науки
Издательство Ростовского университета, 1987 г.ISBN отсутствует
ОХОФ
Книга
Арсланов, М.М.
Локальная теория степеней неразрешимости и -множества
Издательство Казанского университета, 1987 г.
ISBN отсутствует
ОХОФ, ОНЛ
Арсланов, М.М.
Локальная теория степеней неразрешимости и -множества
Издательство Казанского университета, 1987 г.
ISBN отсутствует
ОХОФ, ОНЛ
Книга
Murawski, Roman
Funkcje rekurencyjne i elementy metamatematyki: problemy zupelnosci, rozstrzygalnosci, twierdzenia Godla
Wydawnictwo naukowe UAM, 2010 г.
ISBN 978-83-232-2205-7
ЧЗ ЗИ
Murawski, Roman
Funkcje rekurencyjne i elementy metamatematyki: problemy zupelnosci, rozstrzygalnosci, twierdzenia Godla
Wydawnictwo naukowe UAM, 2010 г.
ISBN 978-83-232-2205-7
ЧЗ ЗИ