Zur maschinellen Dokumentation mathematischer Saetze
By: Juergen Esch
Published: 1968
Language: ger
Number of pages: 174
Notes: Thesis (doctoral)--Technische Hochschule Hannover, 1968.