Hochschulschrift

Interactive theorem proving in symbolic incidence geometry

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Maße
21 cm
Umfang
XII, 214 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Zugl.: Giessen, Univ., Habil.-Schr.,1995

Erschienen in
Mitteilungen aus dem Mathematischen Seminar Giessen / Mathematisches Institut ; H. 233

Ereignis
Veröffentlichung
(wo)
Giessen
(wer)
Math. Inst.
(wann)
1998
Urheber

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:14 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Hochschulschrift

Beteiligte

Entstanden

  • 1998

Ähnliche Objekte (12)