Wyniki wyszukiwania
Znaleziono 1 projekt spełniających kryteria wyszukiwania:
-
1. 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