Juergen Esch

• Zur maschinellen Dokumentation mathematischer Saetze