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