Next:
Autor:
Up:
Kontrolleurmodule
Previous:
Darstellung des Beweises
Contents
Vertex: Knoten-Überdeckung
Subsections
Autor:
Problembeschreibung
Datentypen
Beispiel
benötigte Module
Instanz der Klasse Problem
Haskellcode
Implementierungsdetails
Validierung
Verifizierung
Darstellung der Instanz
Beispiel
Darstellung des Beweises
Johannes Waldmann 2009-11-17
