Znaleziono 1 projektów spełniających kryteria wyszukiwania:
Efektywne obliczenia w predykatywnej matematyce
Konkurs: SONATINA 2 , panel: ST6
Kierownik: dr Michał Przybyłek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki