Lingenfelder, C. (1990). Transformation and structuring of computer generated proofs.
Chicago-Zitierstil (17. Ausg.)Lingenfelder, Christoph. Transformation and Structuring of Computer Generated Proofs. Kaiserslautern, 1990.
MLA-Zitierstil (9. Ausg.)Lingenfelder, Christoph. Transformation and Structuring of Computer Generated Proofs. 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.