Wyniki wyszukiwania
Znaleziono 1 projekt spełniających kryteria wyszukiwania:
-
1. Asymptotyczne metody w rachunku lambda i logice kombinatorycznej
Kierownik: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 6, panel: ST6