Abschlussarbeit

Bachelorarbeit: "Formalisierung und semi-maschinelles Beweisen des Standard-Repräsentationstheorems für kumulatives Schließen in Propositionaler Logik mit Coq"

Ansprechperson:

Dr. Kai Sauerwald

Status:

in Bearbeitung