Znaleziono 1 projektów spełniających kryteria wyszukiwania:
Problemy Spełnialności Więzów: poza przypadek skończony
Konkurs: WEAVE-UNISONO , panel: ST6
Kierownik: dr hab. Marcin Kozik
Uniwersytet Jagielloński