Campus Event Calendar
Event Entry
What and Who
Computational aspects of a first-order logic with sorts
Christoph Weidenbach
MPII
Promotionskolloquium
AG 1, AG 2, AG 3, INET, AG 4, AG 5, D6, RG1, SWS
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 20 December 96
14:00
60 Minutes
46.1 - MPII
HS 019
Saarbrücken
Contact
--email hidden
passcode not visible
logged in users only