Niezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzów
Instytucja Finansująca / Przyznający: NCN
Tytuł: Niezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzów
Kierownik: Paweł Idziak
Rozpoczęcie: 2015-10-01
Zakończenie: 2022-09-30
Uwagi: Maestro 6