3.119
Bearbeitungen
Achtung: diese Seite wird nur zu Testzwecken betrieben. Hier gelangen Sie zur Madipedia-Website: https://madipedia.de
[unmarkierte Version] | [gesichtete Version] |
Rky (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
K (Auf Gerhard Holland verwiesen) Markierung: visualeditor |
||
(2 dazwischenliegende Versionen von 2 Benutzern werden 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 == | ||
Zeile 10: | Zeile 10: | ||
== Links == | == Links == | ||
* [http://haftendorn.uni-lueneburg.de/u1/gym03/homepage/faecher/mathe/geometri/dgs-vgl.htm] | * [http://haftendorn.uni-lueneburg.de/u1/gym03/homepage/faecher/mathe/geometri/dgs-vgl.htm Homepage] | ||
* ... | * ... |