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


Барздинь Я.М.
[1971]
Сложность и точность решения начальных кусков проблемы вхождения в рекурсивно перечислимое множество
ДАН СССР, 199, № 2, 262-264
71.12.66
статья

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