Campus Event Calendar
Event Entry
What and Who
Instance-based theorem provers for first-order logic
Swaha Das
University of North Carolina
AG2 Working Group Seminar
AG 1, AG 2, AG 3, AG 4
AG Audience
-- Not specified --
Note: We use this to send email in the morning.
Date, Time and Location
Thursday, 24 July 2003
11:15
-- Not specified --
45 (CS Dept.)
001
Saarbrücken
Contact
Uwe Waldmann
--email hidden
passcode not visible
logged in users only