ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
Найдена сложность представления булевых функций конечными автоматами для всех замкнутых классов Поста.