Keywords:
Publications of and Oliver Kutz
2012
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization, in: Conferences on Intelligent Computer Mathematics CICM 2012, Springer, 2012 | , , and ,
[DOI] |