Ключевая фраза: СИСТЕМЫ КОМПЬЮТЕРНОЙ АЛГЕБРЫ