Wyniki wyszukiwania
Znaleziono 3 projekty spełniających kryteria wyszukiwania:
-
Kierownik: dr Rafał Pierzchała
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 9, panel: ST1
-
2. Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 11, panel: ST6
-
3. Ideały i działania grup na przestrzeniach polskich
Kierownik: prof. Michał Aleksander Morayne
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Konkurs: OPUS 1, panel: ST1