ePrints Repository

Browse by Author/Editor

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Type of Work | No Grouping
Number of items: 6.

Book Section

Lange, Christoph and Ion, Patrick and Dimou, Anastasia and Bratsas, Charalampos and Sperber, Wolfram and Kohlhase, Michael and Antoniou, Ioannis (2012) Bringing Mathematics to the Web of Data: the case of the Mathematics subject classification. In: The Semantic Web. Lecture Notes in Computer Science (7295). Springer, pp. 763-777.

Kerber, Manfred and Lange, Christoph and Rowat, Colin (2012) Formal representation and proof for cooperative games. In: Symposium on Mathematical Practice and Cognition II. Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB), pp. 15-18. ISBN 978-1-908187-10-9

Tankink, Carst and Lange, Christoph and Urban, Josef (2012) Point-and-write — documenting formal mathematics by reference. In: Intelligent Computer Mathematics. LNAI (7362). Springer Verlag, pp. 169-185.

Lange, Christoph and Ion, Patrick and Dimou, Anastasia and Bratsas, Charalampos and Corneli, Joseph and Sperber, Wolfram and Kohlhase, Michael and Antoniou, Ioannis (2012) Reimplementing the Mathematics subject Classification (MSC) as a Linked Open Dataset. In: Intelligent Computer Mathematics. LNAI (7362). Springer Verlag, pp. 458-462.

Lange, 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.

Conference or Workshop Item

Lange, Christoph and Mossakowski, Till and Kutz, Oliver (2012) LoLa: a modular ontology of logics, languages and translations. In: Modular Ontologies, 2012-07-24, Graz, Austria.

This list was generated on Tue Sep 2 01:13:07 2014 IST.