| |
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] |