Suchergebnisse
- * [[Walther Neuper]] (University of Technology, Graz), Austria5 KB (682 Wörter) - 10:27, 7. Jan. 2018
- * Walther Neuper University of Technology, Graz, Austria6 KB (793 Wörter) - 20:28, 4. Nov. 2017
- …n Theorem Provers Components for Educational Software (organisers: Walther Neuper, Pedro Quaresma)7 KB (836 Wörter) - 10:49, 8. Okt. 2017