[Club2] Heute 16:00 im Zuse

Norbert Schirmer norbert.schirmer at web.de
Mon Jun 19 12:25:18 CEST 2006

Previous message: [Club2] Termin/Raum-änderung: Mi. 14:00, Zimmer J. v. Neumann
Next message: [Club2] Korrektur: 15:00 Uhr im Zuse!
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Heute um 16:00 (im Raum Zuse) findet ein Probevortrag von
Amine statt:

  Implementierung einer Quantorenelimination in Isabelle/HOL

   Norbert

Previous message: [Club2] Termin/Raum-änderung: Mi. 14:00, Zimmer J. v. Neumann
Next message: [Club2] Korrektur: 15:00 Uhr im Zuse!
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Club2 mailing list