[Club2] Mi. 2.08.; 14.30 (Turing)

[Clemens Ballarin]

Am Mittwoch den 2. 8., 14:30 im Turing 00.09.055:

Stephan Hohe: Formalisierung von Restklassenringen in Isabelle (SEP).

Direkt im Anschluss Sean McLaughlins Vortrag.

Clemens
-- 
Dr. Clemens Ballarin
Institut fuer Informatik, TU Muenchen
Boltzmannstr. 3, 85748 Garching, Germany
Phone: +49-89-289-17326, Fax: +49-89-289-17307
http://www4.in.tum.de/~ballarin/