Achtung: diese Seite wird nur zu Testzwecken betrieben. Hier gelangen Sie zur Madipedia-Website: https://madipedia.de

Geolog: Unterschied zwischen den Versionen

Aus dev_madipedia
Zur Navigation springen Zur Suche springen
[gesichtete Version][gesichtete Version]
Keine Bearbeitungszusammenfassung
K (Auf Gerhard Holland verwiesen)
Markierung: visualeditor
 
(Eine dazwischenliegende Version desselben Benutzers wird nicht angezeigt)
Zeile 1: Zeile 1:


== Allgemeine Informationen ==
== {{Infobox|EintragVervollstä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 ==
== Interne Repräsentationen ==

Aktuelle Version vom 19. Mai 2016, 16:50 Uhr

==

Fehler beim Erstellen des Vorschaubildes: Datei fehlt
Bitte 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