Displaying similar documents to “Алгольные процедуры для решения некоторых задач алгебры, основанные на применении нормализованного процесса”