Geolog

Aus madipedia
Zur Navigation springen Zur Suche springen

==

Madipedia-Logo-Ausrufezeichen.pngBitte Eintrag vervollständigen!

[+Details][+Jetzt verbessern]

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

Punkte

Geraden

Links