3 projects found matching your search criteria :
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: Rafał Tomasz Łysiak
Politechnika Wrocławska, Wydział Elektroniki
Automation of the Problem of Unification in Description Logics
Call: POLONEZ BIS 3 , Panel: ST6
Principal investigator: dr hab. Barbara Joanna Morawska
Uniwersytet Opolski, Instytut Informatyki
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: Tadeusz Paweł Kobus
Politechnika Poznańska, Wydział Informatyki