Änderungen

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

K

Auf Gerhard Holland verwiesen

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

3.176

Bearbeitungen

Geolog (Quelltext anzeigen)