Subjects: Formal languages; Knowledge representation; Ontology of mathematicsCoimbra; Portugal
تفاصيل العنوان