00991cam0-22003371i-450-99000150447040332120100531112539.00-521-78176-0000150447FED01000150447(Aleph)000150447FED0100015044720030508d2003----km-y0itay50------baengGBa---a---001yy<<The >>description logic handbooktheory, implementation, and applicationsedited by Franz Baader ... [et al.]Cambridge, UK ; New YorkCabridge University Press2003xvii, 555 p.ill.25 cmLogicaRicorsività006.33221itaBaader,Franz<1959- >ITUNINAREICATUNIMARCBK9900015044704033217-3097897FI17-309.0017898FI1FI1Description logic handbook376942UNINA