Büchi J.R. ...

Новости

17 Октября, 2025 Конкурс на замещение должности

10 Октября, 2025 Защита диссертаций

26 Сентября, 2025 Защита диссертаций

Büchi J.R.

[1962]

Turing machines and the Entscheidungproblems

Math. Ann., 148, № 3, 201-213

63.05.63

article

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