Home
DCC eCatalog
M.__Paramasivam
Automated deduction techniques for classification in description logic systems
