Interactive theorem proving in symbolic incidence geometry:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Ueberberg, Johannes (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Giessen Selbstverl. des Math. Inst. 1998
Schriftenreihe:Universität <Giessen> / Mathematisches Seminar: Mitteilungen aus dem Mathematischen Seminar Gießen 233
Schlagworte:
Online-Zugang:Inhaltsverzeichnis
Beschreibung:Zugl.: Giessen, Univ., Habil.-Schr.
Beschreibung:XII, 214 S. graph. Darst.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis