3.119
Bearbeitungen
Achtung: diese Seite wird nur zu Testzwecken betrieben. Hier gelangen Sie zur Madipedia-Website: https://madipedia.de
Geolog: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
K
Auf Gerhard Holland verwiesen
| [gesichtete Version] | [gesichtete Version] |
K (Seite als unvollständig markiert) Markierung: visualeditor |
K (Auf Gerhard Holland verwiesen) Markierung: visualeditor |
||
| Zeile 1: | Zeile 1: | ||
== {{Infobox|EintragVervollständigen}}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 == | ||