2 projects found matching your search criteria :
Call: OPUS 2 , Panel: ST7
Principal investigator: prof. Artur Jerzy Przelaskowski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
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