ИСТИНА |
Войти в систему Регистрация |
|
ФНКЦ РР |
||
Доказано, что отношение логико-термальной эквивалентности недетерминированных стандартных схем программ является алгоритмически неразрешимым