Änderungen

Zur Navigation springen Zur Suche springen

Geolog (Quelltext anzeigen)

Version vom 19. Mai 2016, 16:50 Uhr

145 Bytes hinzugefügt ,  16:50, 19. Mai 2016
K
Auf Gerhard Holland verwiesen
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 ==
Abgerufen von „http://madipedia.de/wiki/Spezial:Mobiler_Unterschied/24286“
Cookies helfen uns bei der Bereitstellung von madipedia. Durch die Nutzung von madipedia erklärst du dich damit einverstanden, dass wir Cookies speichern.

Navigationsmenü