Thomas Neumann

other persons with the same name:

• Thomas Neumann
• Thomas Neumann - Technische Universität Braunschweig
• Thomas Neumann - VisionGate, Inc.
• Thomas Neumann - Technische Universität München
• Thomas Neumann - Technische Hochschule Darmstadt
• Thomas Neumann

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

Coauthor Index

1	Serge Autexier	[1]
2	Armin Fiedler	[1]
3	Marc Wagner	[1]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page