Znaleziono 4 projektów spełniających kryteria wyszukiwania:
Konkurs: BiodivMon , panel: NZ8
Kierownik: dr Jakub Bubnicki
Instytut Biologii Ssaków Polskiej Akademii Nauk
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
Granice obliczalności dla zapytań rekurencyjnych
Konkurs: PRELUDIUM 5 , panel: ST6
Kierownik: dr Filip Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
DATALOG w Problemie Spełnialności Więzów
Konkurs: OPUS 1 , panel: ST6
Kierownik: dr hab. Marcin Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki