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
Jump to: Book Section
Number of items: 1.

Book Section

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 Fri Nov 16 22:13:23 2018 GMT.