ePrints Repository
Increase text size Decrease text size

    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
    Jump to: 2012
    Number of items at this level: 2.

    2012

    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.

    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.

    This list was generated on Tue May 21 01:28:21 2013 IST.
    Questions, comments and suggestions regarding the ePrints Repository are welcomed at ubira@lists.bham.ac.uk.