Bibliography of Lavrov I.A.


Голунков Ю.В., Савельев А.А.
[1984]
О решетке систем алгоритмических алгебр частично рекурсивных функций и предикатов
Изв. Вузов. Мат., № 11, 57-59
85.05.66
статья

Вернуться к поиску