Campus Event Calendar
Event Entry
New for: D3
What and Who
Equality and extensionality in automated higher-order theorem proving
C. Benzm"uller
Promotionskolloquium
AG 1, AG 2, AG 3, AG 4
AG Audience
Note: We use this to send email in the morning.
Date, Time and Location
Wednesday, 21 July 99
16:00
-- Not specified --
45 - FB14
HS 001
Saarbrücken
Contact
--email hidden
passcode not visible
logged in users only