Änderungen

145 Bytes hinzugefügt , 16:50, 19. Mai 2016

K

Auf Gerhard Holland verwiesen

Zeile 1: Zeile 1:

== {{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 ==

3.165

Bearbeitungen

Geolog (Quelltext anzeigen)