Bibliography of Lavrov I.A.


Мучник А.А.
[1958]
Решение проблемы сводимости Поста и некоторых других проблем теории алгоритмов
Труды Моск. матем. о-ва, 7 , 391-405
59.8722
O
статья

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