Znaleziono 1 projektów spełniających kryteria wyszukiwania:
Metody wnioskowania o programach w językach wyższego rzędu
Konkurs: OPUS 8 , panel: ST6
Kierownik: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki