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


Hartmanis J., Baker T.P.
[1982]
On simple Gödel numberings and translation
SIAM . J. Comp., 4, № 1, 1-11
75.11.87
O
article

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