Wyniki wyszukiwania
Znaleziono 6 projektów spełniających kryteria wyszukiwania:
-
Kierownik: prof. Tomasz Jacek Szemberg
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Konkurs: OPUS 18, panel: ST1
-
2. Modularna semantyka operacyjna: podejście bialgebraiczne
Kierownik: dr hab. Bartosz Klin
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA BIS 2, panel: ST6
-
3. Nierefleksywne przestrzenie funkcyjne: podejście fourierowskie vs martyngałowe
Kierownik: dr hab. Michał Wojciechowski
Instytut Matematyczny Polskiej Akademii Nauk
Konkurs: CEUS-UNISONO, panel: ST1
-
4. Aspekty ilościowe równań ewolucyjnych: podejście operatorowe
Kierownik: prof. Yuriy Tomilov
Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki
Konkurs: OPUS 7, panel: ST1
-
5. Problemy Spełnialności Więzów: poza przypadek skończony
Kierownik: dr hab. Marcin Andrzej Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: WEAVE-UNISONO, panel: ST6
-
6. 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