Wyniki wyszukiwania
Znaleziono 5 projektów spełniających kryteria wyszukiwania:
-
1. Własności ilościowe dla schematów rekurencyjnych wyższego rzędu
Kierownik: dr hab. Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA BIS 6, panel: ST6
-
2. Automaty z wagami dla własności kwantytatywnych
Kierownik: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA 8, panel: ST6
-
Kierownik: dr Monika Dorota Zabłocka
Instytut Oceanologii PAN
Konkurs: OPUS 21, panel: ST10
-
Kierownik: Karol Daniel Baran
Politechnika Gdańska
Konkurs: PRELUDIUM 22, panel: ST5
-
Kierownik: prof. Jan Czesław Dobrowolski
Instytut Chemii i Techniki Jądrowej
Konkurs: OPUS 5, panel: ST5