Thomas Neumann

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Serge Autexier, Armin Fiedler, Thomas Neumann, Marc Wagner
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems. Calculemus/MKM (2007)