Campus Event Calendar
Event Entry
New for: D1, D2, D3, D4, D5
What and Who
The equality elimination method
Andrei Voronkov
MPI and Uppsala University
Logik-Seminar
AG 1, AG 2, AG 3, AG 4, AG 5, SWS
AG Audience
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 27 June 97
17:15
-- Not specified --
46.1
024
Saarbrücken
Contact
Uwe Waldmann
92-227
--email hidden
passcode not visible
logged in users only
Uwe Brahm, 04/12/2007 12:43 -- Created document.