Point-and-Write – Documenting Formal Mathematics by Reference

By Carst Tankink, Christoph Lange and Josef Urban

Publisher: Springer Berlin Heidelberg

Year: 2012

DOI identifier: 10.1007/978-3-642-31374-5_12

OAI identifier:

Provided by: MUCC (Crossref)

Download PDF:
_{Sorry, we are unable to provide the full text but you may find it at the
following location(s):}

http://arxiv.org/pdf/1204.5094... (external link)