Fuchs, M. (1995). Experiments in the heuristic use of past proof experience. Fachbereich Informatik, Univ.
Chicago-Zitierstil (17. Ausg.)Fuchs, Matthias. Experiments in the Heuristic Use of Past Proof Experience. Kaiserslautern: Fachbereich Informatik, Univ, 1995.
MLA-Zitierstil (9. Ausg.)Fuchs, Matthias. Experiments in the Heuristic Use of Past Proof Experience. Fachbereich Informatik, Univ, 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.