| |
other persons with the same name:
| 2007 | ||
|---|---|---|
| 1 | EE | 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 |
| 1 | Serge Autexier | [1] |
| 2 | Armin Fiedler | [1] |
| 3 | Marc Wagner | [1] |