|
|
Browse by Author/Editor
Group by: Type of Work | No Grouping Jump to: Book Section Number of items: 1.
Book SectionTankink, 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. |
