[Club2] Di. 1.08.;15.00 (Turing)
Norbert Schirmer
norbert.schirmer at web.de
Thu Jul 27 17:06:43 CEST 2006
Am Dienstag den 1.08., ab 15.00 im Turing 00.09.055:
Alexander Krauss:
Partial Recursive Functions in Higher-Order Logic.
Norbert
More information about the Club2
mailing list