Meine Studienarbeit

http://wayback.archive.org/web/20120315040903/http://www.stefan-baur.de/priv.studies.studienarbeit.html

Meine Studienarbeit realisiert einen Beweiser für die Presburger Arithmetik.