Hochschulschrift

Interactive theorem proving in symbolic incidence geometry

Location
Deutsche Nationalbibliothek Frankfurt am Main
Dimensions
21 cm
Extent
XII, 214 S.
Language
Englisch
Notes
graph. Darst.
Zugl.: Giessen, Univ., Habil.-Schr.,1995

Bibliographic citation
Mitteilungen aus dem Mathematischen Seminar Giessen / Mathematisches Institut ; H. 233

Event
Veröffentlichung
(where)
Giessen
(who)
Math. Inst.
(when)
1998
Creator
Ueberberg, Johannes

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.06.2025, 2:14 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Hochschulschrift

Associated

  • Ueberberg, Johannes
  • Math. Inst.

Time of origin

  • 1998

Other Objects (12)