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


Minsky M.L.
[1961]
Recursive unsolvability of Post’s problem of “Tag” and other topics in theory of Turing machines
Ann. Math., 74, № 3, 437-455
63.01.74
OS
article

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