Znaleziono 4 projektów spełniających kryteria wyszukiwania:
Asymptotyczne metody w rachunku lambda i logice kombinatorycznej
Konkurs: OPUS 6 , panel: ST6
Kierownik: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 22 , panel: NZ6
Kierownik: dr hab. Elżbieta Kołaczkowska
Uniwersytet Jagielloński, Wydział Biologii
Ilościowe badania teorii mnogości. Czy ZF i ZFC są asymptotycznie równoważne?
Konkurs: OPUS 16 , panel: ST6
Kierownik: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: SONATA BIS 5 , panel: ST2
Kierownik: dr hab. Agata Fronczak
Politechnika Warszawska, Wydział Fizyki