Mikroplanungstechniken zur Prasentation mathematischer Beweise (1996)

by A Fiedler
Venue:Master's thesis, Fachbereich Informatik, Universitat des Saarlandes