Browse by Author/Editor
Group by: Type of Work | No Grouping Jump to: Book Section Number of items: 1.
Book SectionLange, Christoph and Kutz, Oliver and Mossakowski, Till and GrĂ¼ninger, Michael (2012) The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization. In: Intelligent Computer Mathematics. LNAI (7362). Springer Verlag, pp. 463-467. |