Znaleziono 2 projektów spełniających kryteria wyszukiwania:
Automation of the Problem of Unification in Description Logics
Konkurs: POLONEZ BIS 3 , panel: ST6
Kierownik: dr hab. Barbara Joanna Morawska
Uniwersytet Opolski, Instytut Informatyki
Konkurs: OPUS 2 , panel: ST7
Kierownik: prof. Artur Jerzy Przelaskowski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych