Browsing by Author Arif, Muhammad Fareed

Showing results 1 to 1 of 1
Published DateTitleAuthor(s)
2016The role of unsatisfiable Boolean constraints in lightweight description logicsArif, Muhammad Fareed