Wyniki wyszukiwania
Znaleziono 2 projekty spełniających kryteria wyszukiwania:
-
Kierownik: prof. Guillaume Laurent Thierry
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki
Konkurs: OPUS 22, panel: HS6
-
2. Algorytmy poprawy czytelności rozumowań w systemie naturalnej dedukcji
Kierownik: dr Karol Pąk
Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 4, panel: ST6