| |
| 1997 | ||
|---|---|---|
| 1 | Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge: Omega: Towards a Mathematical Assistant. CADE 1997: 252-255 | |
| 1 | Christoph Benzmüller (Christoph Benzmueller) | [1] |
| 2 | Lassaad Cheikhrouhou | [1] |
| 3 | Detlef Fehrer | [1] |
| 4 | Armin Fiedler | [1] |
| 5 | Xiaorong Huang | [1] |
| 6 | Manfred Kerber | [1] |
| 7 | Michael Kohlhase | [1] |
| 8 | Karsten Konrad | [1] |
| 9 | Andreas Meier | [1] |
| 10 | Erica Melis | [1] |
| 11 | Jörg H. Siekmann | [1] |
| 12 | Volker Sorge | [1] |