Vol-476⫷ Vol-477 ⫸Vol-478
urn:nbn:de:0074-477-0


Vol-477/paper-23⫷Vol-477/paper-24⫸Vol-477/paper-25
Riccardo Rosati 0001Giuseppe De GiacomoMaurizio Lenzerini

On Higher-Order Description Logics