3.175
Bearbeitungen
Änderungen
KZeile 1:
Zeile 1: + + + + + + + + + + + +
Auf Gerhard Holland verwiesen
== {{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 ==
=== Punkte ===
=== Geraden ===
== Links ==
* [http://haftendorn.uni-lueneburg.de/u1/gym03/homepage/faecher/mathe/geometri/dgs-vgl.htm Homepage]
* ...