Campus Event Calendar
Event Entry
New for: D3
What and Who
Test-sets und Termersetzungen fuer die Generierung rekursiv definierter Algorithmen aus Existenzaussagen
Idriss Bengeloune
Fachbereich Informatik - Saarbrücken
Promotionskolloquium
AG 1, AG 2, AG 3, AG 4
Expert Audience
Note: We use this to send email in the morning.
Date, Time and Location
Wednesday, 5 July 2000
14:00
-- Not specified --
45 - FB14
HS 003
Saarbrücken
Contact
--email hidden
passcode not visible
logged in users only