| |
| 2006 | ||
|---|---|---|
| 1 | EE | Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz: Theorema: Towards computer-aided mathematical theory exploration. J. Applied Logic 4(4): 470-504 (2006) |
| 1 | Bruno Buchberger | [1] |
| 2 | Adrian Craciun | [1] |
| 3 | Tudor Jebelean | [1] |
| 4 | Laura Kovács (Laura Ildikó Kovács) | [1] |
| 5 | Temur Kutsia | [1] |
| 6 | Koji Nakagawa | [1] |
| 7 | Florina Piroi | [1] |
| 8 | Judit Robu | [1] |
| 9 | Markus Rosenkranz | [1] |