Wyniki wyszukiwania
Znaleziono 3 projekty spełniających kryteria wyszukiwania:
-
1. DATALOG w Problemie Spełnialności Więzów
Kierownik: dr hab. Marcin Andrzej Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 1, panel: ST6
-
2. Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów
Kierownik: dr hab. Michał Maria Wrona
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 19, panel: ST6
-
3. Granice obliczalności dla zapytań rekurencyjnych
Kierownik: dr Filip Aleksander Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 5, panel: ST6