ePrints Repository

Items where Subject is "B Philosophy. Psychology. Religion > BC Logic"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Creators | Type of Work | Date
Number of items at this level: 2.

Book Section

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 Sat Nov 22 01:28:35 2014 GMT.