Items where Author is "Ding, Yu"
Group by: Item Type | No Grouping
Number of items: 1.
Ding, Yu (2008) Tableau-based reasoning for description logics with inverse roles and number restrictions. PhD thesis, Concordia University.
Ding, Yu (2008) Tableau-based reasoning for description logics with inverse roles and number restrictions. PhD thesis, Concordia University.