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