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


Канович М.И.
[1970]
О сложности разрешения рекурсивно перечислимых множеств
ДАН СССР, 192, № 4, 721-723
70.11.51
O
статья

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