Änderungen

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

K

Auf Gerhard Holland verwiesen

Zeile 1: Zeile 1: −

~~--[[Benutzer:Rky|Rky]] 14:25, 18. Nov. 2009 (UTC)~~

−

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

Zeile 10: Zeile 10:

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

* ...

3.176

Bearbeitungen

Geolog (Quelltext anzeigen)