[Club2] Di. 1.08.;15.00 (Turing)

Norbert Schirmer norbert.schirmer at web.de
Thu Jul 27 17:06:43 CEST 2006

Previous message: [Club2] Mi. 2.08.; 14.30 (Turing)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Am Dienstag den 1.08., ab 15.00 im Turing 00.09.055:

Alexander Krauss: 
Partial Recursive Functions in Higher-Order Logic.

  Norbert

Previous message: [Club2] Mi. 2.08.; 14.30 (Turing)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Club2 mailing list