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