Campus Event Calendar
Event Entry
New for: D3
What and Who
Proof Representations for Higher-Order Logic
Christine Rizkallah
Fachrichtung Informatik - Saarbrücken
Talk
AG 1, AG 4, RG1, MMCI, AG 3, AG 5, SWS
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Thursday, 15 April 2010
10:00
30 Minutes
E1 4
024
Saarbrücken
Contact
Frank Neumann
--email hidden
passcode not visible
logged in users only
Tags, Category, Keywords and additional notes
Frank Neumann, 04/14/2010 15:43
Frank Neumann, 04/10/2010 13:54
Frank Neumann, 04/10/2010 13:43 -- Created document.
Frank Neumann, 04/10/2010 13:54
Frank Neumann, 04/10/2010 13:43 -- Created document.