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