Znaleziono 1 projektów spełniających kryteria wyszukiwania:
Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji
Konkurs: PRELUDIUM 23 , panel: ST6
Kierownik: Bartosz Bednarczyk
Uniwersytet Wrocławski