Thomas Neumann

other persons with the same name:

• Thomas Neumann
• Thomas Neumann
• Thomas Neumann
• Thomas Neumann
• 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]