Tytuł projektu: Niezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzów
Instytucja: Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Miasto: Kraków
Województwo: małopolskie
Kierownik projektu: prof. Paweł Maria Idziak
Panel: ST6 (obszar: ST)
Liczba wykonawców: 7
Finansowanie: 2570854 PLN
Okres realizacji: 2015-10-01 00:00:00 – 2022-09-30 00:00:00 (84 miesięcy)