Znaleziono 3 projektów spełniających kryteria wyszukiwania:
Konkurs: PRELUDIUM 3 , panel: ST6
Kierownik: Rafał Łysiak
Politechnika Wrocławska, Wydział Elektroniki
Automation of the Problem of Unification in Description Logics
Konkurs: POLONEZ BIS 3 , panel: ST6
Kierownik: dr hab. Barbara Morawska
Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki
Konkurs: PRELUDIUM 1 , panel: ST6
Kierownik: Tadeusz Kobus
Politechnika Poznańska, Wydział Informatyki