Поиск :
Личный кабинет :
Электронный каталог: Справочник таблиц УДК
К списку таблиц УДК
Нет экз.
Нет экз.
Нет экз.
510.64
Сортировать по: заглавиюдате издания
Нет экз.
Электронный ресурс
Малышев Д. С.
Элементы неклассических логик и моделей вычислений: учебно-методическое пособие
ННГУ им. Н. И. Лобачевского, 2015 г.
ISBN отсутствует
Малышев Д. С.
Элементы неклассических логик и моделей вычислений: учебно-методическое пособие
ННГУ им. Н. И. Лобачевского, 2015 г.
ISBN отсутствует
Нет экз.
Электронный ресурс
Малышев Д. С.
Некоторые элементы неклассических логик и лямбда-исчисления: учебно-методическое пособие
ННГУ им. Н. И. Лобачевского, 2017 г.
ISBN отсутствует
Малышев Д. С.
Некоторые элементы неклассических логик и лямбда-исчисления: учебно-методическое пособие
ННГУ им. Н. И. Лобачевского, 2017 г.
ISBN отсутствует
Нет экз.
Электронный ресурс
Грибанов, Д. В.
Неклассические логики и лямбда-исчисление: некоторые элементы
ННГУ им. Н. И. Лобачевского, 2021 г.
ISBN отсутствует
Грибанов, Д. В.
Неклассические логики и лямбда-исчисление: некоторые элементы
ННГУ им. Н. И. Лобачевского, 2021 г.
ISBN отсутствует