1 projects found matching your search criteria :
Automation of the Problem of Unification in Description Logics
Call: POLONEZ BIS 3 , Panel: ST6
Principal investigator: dr hab. Barbara Morawska
Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki