ePrints Repository
Increase text size Decrease text size

    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: 1.

    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.

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