Christoph LangePatrick IonAnastasia DimouCharalampos BratsasWolfram SperberMichael KohlhaseIoannis Antoniou2024-06-172024-06-172012https://dspace.iee.ihu.gr/handle/123456789/9550http://www.scopus.com/inward/record.url?eid=2-s2.0-84861745360&partnerID=MN8TOARSBringing mathematics to the web of data: The case of the mathematics subject classificationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)book