Reihe SpringerBriefs in Computer ScienceAlexandre Rademaker ×Springer London × A Proof Theory for Description Logics Alexandre RademakerSpringer LondonSoftcover201253,49 € A Proof Theory for Description Logics Alexandre RademakerSpringer LondoneBook201253,49 €
