Библиография Лаврова И.А.


Канович М.И.
[1982]
О сложности проблемы отделения рекурсивно перечислимых множеств
ДАН СССР, 267, № 6, 1300-1304
83.04.39
статья

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