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