[Club2] DA Stephan Hohe

Clemens Ballarin ballarin at in.tum.de
Fri Oct 5 12:22:49 CEST 2007


Am Freitag, den 12.10. von 12-12:30 im Turing (00.09.055).

Stephan Hohe praesentiert seine Diplomarbeit.
Thema: Faktorielle Ringe in Isabelle/HOL

Viele Gruesse,
Clemens




More information about the Club2 mailing list