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


Новиков П.С.
[1952]
Об алгоритмической неразрешимости проблемы тождества
ДАН СССР, 85, № 4, 709-712
~
статья

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