Поиск :
Личный кабинет :
Электронный каталог: Справочник таблиц УДК
К списку таблиц УДК
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
510.57
Сортировать по: заглавиюдате издания
Доступно
1 из 1
Книга
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
ЧЗ ЗИ
Доступно
1 из 1
Книга
Катленд, Найджел
Вычислимость. Введение в теорию рекурсивных функций
Мир, 1983 г.
ISBN отсутствует
ОХОФ
Катленд, Найджел
Вычислимость. Введение в теорию рекурсивных функций
Мир, 1983 г.
ISBN отсутствует
ОХОФ
Доступно
2 из 2
Книга
Арсланов, М.М.
Локальная теория степеней неразрешимости и -множества
Издательство Казанского университета, 1987 г.
ISBN отсутствует
ОХОФ, ОНЛ
Арсланов, М.М.
Локальная теория степеней неразрешимости и -множества
Издательство Казанского университета, 1987 г.
ISBN отсутствует
ОХОФ, ОНЛ
Доступно
1 из 1
Книга
Арсланов, М.М.
Рекурсивно перечислимые множества и степени неразрешимости
Издательство Казанского университета, 1986 г.
ISBN отсутствует
ОХОФ
Арсланов, М.М.
Рекурсивно перечислимые множества и степени неразрешимости
Издательство Казанского университета, 1986 г.
ISBN отсутствует
ОХОФ
Доступно
1 из 1
Книга
Орса, В.А.
Числовой метод минимизации булевых функций
ISBN отсутствует
ОХОФ
Орса, В.А.
Числовой метод минимизации булевых функций
Серия: Актуальные проблемы науки
Издательство Ростовского университета, 1987 г.ISBN отсутствует
ОХОФ
Заказать
На полку