01350nam0 22003133i 450 VAN0025064920250311040256.279978-05-216-9542-820220926d2017 |0itac50 baengUS|||| |||||ˆAn ‰introduction to description logicFranz Baader ... [et al.]New YorkCambridge university2017vii, 255 p.23 cmVAN00250651ˆAn ‰introduction to description logic300857868-XXComputer science [MSC 2020]VANC019670MF68T27Logic in artificial intelligence [MSC 2020]VANC033812MF68T30Knowledge representation [MSC 2020]VANC023273MFUSNew YorkVANL000011BaaderFranzVANV049296Cambridge University <editore>VANV107986650ITSOL20250314RICA/sebina/repository/catalogazione/documenti/ID 250649.pdfID 250649.pdfBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00250649BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 68-XX 0205 08DMF652 I 20220926 Introduction to description logic3008578UNICAMPANIA