Корольков Ю.Д. ...


Корольков Ю.Д.
[1979]
О вычислимых нумерациях классов рекурсивно перечислимых множеств
Сб. Алгоритмические вопросы алгебры, систем и ЭВМ, Иркутск, 1979, 97-100
80.08.31
статья

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