Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 2 projektów spełniających kryteria wyszukiwania:
-
Synteza poprzez aktywne uczenie się: teoria i zastosowania
Konkurs: OPUS 27 , panel: ST6
Kierownik: dr hab. Jan Otop
Uniwersytet Wrocławski
-
Problemy typu hierarchicznego dla automatów na nieskończonych słowach i drzewach
Konkurs: PRELUDIUM 3 , panel: ST6
Kierownik: dr Michał Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki