Geolog

Version vom 19. Mai 2016, 16:50 Uhr von Kortenkamp (Diskussion | Beiträge) (Auf Gerhard Holland verwiesen)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

==

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