Znaleziono 1 projektów spełniających kryteria wyszukiwania:
Niezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzów
Konkurs: MAESTRO 6 , panel: ST6
Kierownik: prof. Paweł Idziak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki