Geolog

Aus madipedia
Zur Navigation springen Zur Suche springen

==

Madipedia-Logo-Ausrufezeichen.pngBitte Eintrag vervollständigen!

[+Details][+Jetzt verbessern]
Der auf dieser Seite veröffentlichte Text ist unvollständig gemäß den Madipedia:Richtlinien. Sie können uns helfen: Bitte ergänzen Sie diese Abschnitte entsprechend und entfernen Sie dann diesen Hinweis. Sie können Ihre Änderungen auch auf der Diskussionsseite mit anderen Madipedia-Mitgliedern abstimmen.
Wenn Sie den Artikel direkt verbessern wollen, dann kommen Sie mit "Jetzt verbessern" direkt an die richtige Stelle. Hilfen zum Bearbeiten haben wir unter Hilfe bereitgestellt.

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