User: Guest  Login
Document type:
Studienarbeit/SEP/IDP 
Author(s):
Koller, Alexander; Wildmann, Martina 
Title:
Ausgabe eines Beweisprotokolls - Löschen von Definitionen 
Year:
1994 
TUM Institution:
Fakultät für Informatik, Technische Universität München