Медведев Ю.Т. ...


Медведев Ю.Т.
[1969]
Об одном способе доказательства неразрешимости алгоритмических проблем
ДАН СССР, 185, № 6, 1232-1235.
69.10.28
статья

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