Учебно-исследовательская лаборатория алгоритмических методов алгебры и логики\Исследования - Казанский (Приволжский) федеральный университет