Znaleziono 3 projektów spełniających kryteria wyszukiwania:
Wnioskowanie ilościowe odporne na perturbacje
Konkurs: OPUS 20 , panel: ST6
Kierownik: dr Jakub Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Wokół logik modalnych - rozstrzygalność i złożoność
Konkurs: PRELUDIUM 2 , panel: ST6
Kierownik: Jakub Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Logiki do przetwarzania danych i weryfikacji
Konkurs: SONATA 8 , panel: ST6
Kierownik: dr Jakub Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki