Электронный каталог СКУНБ им. Лермонтова

rus

Государственное бюджетное учреждение культуры Ставропольского края
«Ставропольская краевая универсальная научная библиотека им. М. Ю. Лермонтова»
Режим работы: 9.00–20.00
Контактная информация: (865-2) 29-61-57, 8(8652)24-32-47
Предварительный заказ литературы

Поиск :

Личный кабинет :

Электронный каталог: Справочник авторов

К списку авторов

Гавриленко, Ю. В.

Сортировать по: заглавию

Связанные описания:

Отобрать для печати: страницу | инверсия | сброс | печать(0)

Статья
Гавриленко, Ю. В.
Главные решения и группы автоморфизмов систем уравнений в термах
б.г.
ISBN отсутствует

На полку

Статья
Гавриленко, Ю. В.
Конгруэнции на термах и свойства отношений зависимости между переменными
б.г.
ISBN отсутствует

На полку

Статья
Гавриленко, Ю. В.
Корректные классы вычислений в логическом программировании
б.г.
ISBN отсутствует

На полку

Статья
Гавриленко, Ю. В.
Мажоранты логических вычислений. Леммы о подъеме и спуске в логическом программировании
б.г.
ISBN отсутствует

На полку

Статья
Гавриленко, Ю. В.
Монотонные теории достижимых чисел
б.г.
ISBN отсутствует

На полку

Статья
Гавриленко, Ю. В.
Приложения алгебр Купера к теории завершающей рекурсии в логическом программировании
б.г.
ISBN отсутствует

На полку

Статья
Гавриленко, Ю. В.
Примитивная рекурсия на конечно-разложимых алгебрах Купера
б.г.
ISBN отсутствует

На полку

Статья
Гавриленко, Ю. В.
Рекурсивная реализуемость с интуиционистской точки зрения
б.г.
ISBN отсутствует

На полку

Статья
Гавриленко, Ю. В.
Рекурсия и итерация на куперовских алгебрах
б.г.
ISBN отсутствует

На полку

Статья
Гавриленко, Ю. В.
Строение главных логических вычислений и разложение идемпотентов
б.г.
ISBN отсутствует

На полку

Статья
Гавриленко, Ю. В.
Строение фундированных конгруэнций и унификация бесконечных систем уравнений в термах
б.г.
ISBN отсутствует

На полку