| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
|
|||
|
|
|||
|
Система подстановок термов с одним правилом, имеющая алгоритмически неразрешимую проблему остановки Д. С. Шамканов |
|||