Znaleziono 1 projektów spełniających kryteria wyszukiwania:
Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów
Konkurs: OPUS 19 , panel: ST6
Kierownik: dr hab. Michał Maria Wrona
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki