Поиск :
Личный кабинет :
Электронный каталог: Гавриленко, Ю. В. - Приложения алгебр Купера к теории завершающей рекурсии в логическом программировании
Гавриленко, Ю. В. - Приложения алгебр Купера к теории завершающей рекурсии в логическом программировании
Статья
Автор: Гавриленко, Ю. В.
Доклады Академии наук СССР: Приложения алгебр Купера к теории завершающей рекурсии в логическом программировании
б.г.
ISBN отсутствует
Автор: Гавриленко, Ю. В.
Доклады Академии наук СССР: Приложения алгебр Купера к теории завершающей рекурсии в логическом программировании
б.г.
ISBN отсутствует
Статья
Гавриленко, Ю. В.
Приложения алгебр Купера к теории завершающей рекурсии в логическом программировании / Ю. В. Гавриленко // Доклады Академии наук СССР.– 1990.– Т. 312, № 5 .– С. 1033-1037.
-- 1. Математика.
Гавриленко, Ю. В.
Приложения алгебр Купера к теории завершающей рекурсии в логическом программировании / Ю. В. Гавриленко // Доклады Академии наук СССР.– 1990.– Т. 312, № 5 .– С. 1033-1037.
-- 1. Математика.