next up previous
Next: About this document ... Up: Seminar Maschinelles Beweisen Previous: 1 Themenübersicht

2 Literatur

Verschiedene Paper werden an die Seminarteilnehmer ausgegeben.


next up previous
Next: About this document ... Up: Seminar Maschinelles Beweisen Previous: 1 Themenübersicht
Frank Ciesinski 2003-02-07