Achtung: diese Seite wird nur zu Testzwecken betrieben. Hier gelangen Sie zur Madipedia-Website: https://madipedia.de
Geolog
Zur Navigation springen
Zur Suche springen
==
Fehler beim Erstellen des Vorschaubildes: Datei fehlt | Bitte Eintrag vervollständigen! |
Allgemeine Informationen == Geolog ist ein von Gerhard Holland entwickeltes DGS. Es zeichnet sich insbesondere durch ein in Prolog implementiertes Beweis-Modul aus.
Interne Repräsentationen
Punkte
Geraden
Links
- Homepage
- ...