Wyniki wyszukiwania
Znaleziono 1 projekt spełniających kryteria wyszukiwania:
-
1. Struktura i interpretacja języków programowania w paradygmacie "dowody jako programy"
Kierownik: dr Małgorzata Biernacka
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 2, panel: ST6