Ueberberg, J. (1998). Interactive theorem proving in symbolic incidence geometry. Selbstverl. des Math. Inst.
Chicago-Zitierstil (17. Ausg.)Ueberberg, Johannes. Interactive Theorem Proving in Symbolic Incidence Geometry. Giessen: Selbstverl. des Math. Inst, 1998.
MLA-Zitierstil (9. Ausg.)Ueberberg, Johannes. Interactive Theorem Proving in Symbolic Incidence Geometry. Selbstverl. des Math. Inst, 1998.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.