Wyniki wyszukiwania
Znaleziono 1 projekt spełniających kryteria wyszukiwania:
-
1. Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla
Kierownik: dr hab. Leszek Aleksander Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 14, panel: ST1