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


Трахтенброт Б.А.
[1950]
Невозможность алгорифма для проблемы разрешимости на конечных классах
ДАН СССР, 70, № 4 , 569-572
~
R
статья

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