[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